Autor der Publikation

Querying the Unary Negation Fragment with Regular Path Expressions.

, , , und . ICDT, Volume 98 von LIPIcs, Seite 15:1-15:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)

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

Description Logics with Concrete Domains and Functional Dependencies., und . ECAI, Seite 378-382. IOS Press, (2004)Complexity of Subsumption in the Escr Lscr Family of Description Logics: Acyclic and Cyclic TBoxes., und . ECAI, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 25-29. IOS Press, (2008)Description Logics with Concrete Domains-A Survey.. Advances in Modal Logic, Seite 265-296. King's College Publications, (2002)Quantitative Temporal Logics: PSPACE and Below., , und . TIME, Seite 138-146. IEEE Computer Society, (2005)Temporal Description Logics: A Survey., , und . TIME, Seite 3-14. IEEE Computer Society, (2008)Reasoning Support for Ontology Design., , , , , , , , und . OWLED, Volume 216 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)CEL - A Polynomial-Time Reasoner for Life Science Ontologies., , und . IJCAR, Volume 4130 von Lecture Notes in Computer Science, Seite 287-291. Springer, (2006)PTime Combined Complexity and FPT in Ontology-Mediated Querying., , , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)., , , , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Decidability and Complexity of ALCOIF with Transitive Closure (and More)., , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)