Autor der Publikation

Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results.

, , und . Description Logics, Volume 189 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)

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 Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach., , und . JITR, 4 (1): 1-20 (2011)A Tool for Working with Web Ontologies., , und . Int. J. Semantic Web Inf. Syst., 1 (1): 36-49 (2005)The Modular Structure of an Ontology: Atomic Decomposition and Module Count., , , und . WoMO, Volume 230 von Frontiers in Artificial Intelligence and Applications, Seite 25-39. IOS Press, (2011)Semi-automatic Composition ofWeb Services using Semantic Descriptions., , und . WSMAI, Seite 17-24. ICEIS Press, (2003)A Semantic Web Resource Protocol: XPointer and HTTP., , , und . International Semantic Web Conference, Volume 3298 von Lecture Notes in Computer Science, Seite 564-575. Springer, (2004)A Syntax for Rules in OWL 2., , , und . OWLED, Volume 529 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)Integrating Object-Oriented and Ontological Representations: A Case Study in Java and OWL., , , und . International Semantic Web Conference, Volume 5318 von Lecture Notes in Computer Science, Seite 130-145. Springer, (2008)Laconic and Precise Justifications in OWL., , und . International Semantic Web Conference, Volume 5318 von Lecture Notes in Computer Science, Seite 323-338. Springer, (2008)Automating DAML-S Web Services Composition Using SHOP2., , , , und . International Semantic Web Conference, Volume 2870 von Lecture Notes in Computer Science, Seite 195-210. Springer, (2003)The OWL Reasoner Evaluation (ORE) 2015 Competition Report., , , , und . SSWS@ISWC, Volume 1457 von CEUR Workshop Proceedings, Seite 2-15. CEUR-WS.org, (2015)