Author of the publication

Correcting Access Restrictions to a Consequence.

, and . Description Logics, volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Complementing Language Embeddings with Knowledge Bases for Specific Domains., , and . DAO-XAI, volume 2998 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Gödel FL_0 with Greatest Fixed-Point Semantics., , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 71-82. CEUR-WS.org, (2014)Bayesian Description Logics., and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 447-458. CEUR-WS.org, (2014)ASP-based Axiom Pinpointing for Description Logics., , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Provenance in Ontology-based Data Access., and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Non-Gödel Negation Makes Unwitnessed Consistency Undecidable., and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics., and . FroCos, volume 9322 of Lecture Notes in Computer Science, page 49-65. Springer, (2015)Inconsistency-Tolerant Instance Checking in Tractable Description Logics.. RuleML+RR, volume 10364 of Lecture Notes in Computer Science, page 215-229. Springer, (2017)Fuzzy Description Logics - A Survey., and . SUM, volume 10564 of Lecture Notes in Computer Science, page 31-45. Springer, (2017)A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices., and . RR, volume 7497 of Lecture Notes in Computer Science, page 9-24. Springer, (2012)