Autor der Publikation

Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics.

, und . Int. J. Approx. Reason., (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

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner., , , , und . CoRR, (2021)Ontology-mediated query answering over temporal and inconsistent data., , und . Semantic Web, 10 (3): 475-521 (2019)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner., , , , und . Theory Pract. Log. Program., 22 (2): 162-192 (2022)User-aware Explications of Ontology Consequences: Levelling Technicality., und . FCR@KI, Volume 3242 von CEUR Workshop Proceedings, Seite 90-101. CEUR-WS.org, (2022)Employing DL-Lite_R -Reasoners for Fuzzy Query Answering., und . JIST, Volume 8943 von Lecture Notes in Computer Science, Seite 63-78. Springer, (2014)Congenial Benchmarking of RDF Storage Solutions., , , und . K-CAP, Seite 213-221. ACM, (2019)Towards an Equivalence Degree of EL CQs (Extended Abstract)., und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification., , und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics., und . AAAI, Seite 6340-6348. AAAI Press, (2021)A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction., , , , und . Description Logic, Theory Combination, and All That, Volume 11560 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2019)