Autor der Publikation

A Goal-Oriented Algorithm for Unification in $ELH_R+$ w.r.t. Cycle-Restricted Ontologies.

, , und . Australasian Conference on Artificial Intelligence, Volume 7691 von Lecture Notes in Computer Science, Seite 493-504. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Theory of Idempotent Semigroups is of Unification Type Zero.. J. Autom. Reasoning, 2 (3): 283-286 (1986)Term rewriting and all that., und . Cambridge University Press, (1998)Description Logic Terminology.. Description Logic Handbook, Seite 485-495. Cambridge University Press, (2003)Hybrid Unification in the Description Logic EL., , und . UNIF@RTA/TLCA, Volume 19 von EPiC Series in Computing, Seite 8-12. EasyChair, (2013)Recent Advances in Unification for the EL Family., , und . UNIF, Volume 24 von EPiC Series in Computing, Seite 1-6. EasyChair, (2012)Combination Techniques and Decision Problems for Disunification., und . Theor. Comput. Sci., 142 (2): 229-255 (1995)KRIS: Knowledge Representation and Inference System., und . SIGART Bulletin, 2 (3): 8-14 (1991)Connecting many-sorted theories., und . J. Symb. Log., 72 (2): 535-583 (2007)SNOMED reaching its adolescence: Ontologists' and logicians' health check., , , und . I. J. Medical Informatics, 78 (Supplement-1): S86-S94 (2009)Temporal query entailment in the Description Logic SHQ., , und . J. Web Semant., (2015)