Skip to content Skip to footer

Related content

Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies

Fernandez Gil, O. & Baader, F., 2 Jul 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, p. 279-297 19 p. (Lecture Notes in Computer Science, Vol. 14740).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Extending the description logic EL with threshold concepts induced by concept measures

Baader, F. & Fernandez Gil, O., Jan 2024, In: Artificial Intelligence. 326, 66 p., 104034.

Research output: Contribution to journalResearch articleContributedpeer-review

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)

Fernández Gil, O., Patrizi, F., Perelli, G. & Turhan, A.-Y., 2024, Proceedings of the 37th International Workshop on Description Logics (DL'24). Giordano, L., Jung, J. C. & Ozaki, A. (eds.). Bergen, Norway: CEUR-WS.org, 5 p. (CEUR Workshop Proceedings, Vol. 3739 ).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Unification in ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)

Baader, F. & Gil, O. F., 2024, Proceedings of the 37th International Workshop on Description Logics (DL'24). Jung, J. C., Giordano, L. & Ozaki, A. (eds.). Bergen, Norway: CEUR-WS.org, 5 p. (CEUR Workshop Proceedings, Vol. 3739).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Version)

Baader, F. & Fernández Gil, O., 2024, Dresden, Germany, (LTCS-Report, Vol. 24-01).

Research output: Preprint/Documentation/ReportWorking paper