Author of the publication

A Tableaux-Based Algorithm for SHIQSHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms.

, , and . ESWC (1), volume 6643 of Lecture Notes in Computer Science, page 367-381. Springer, (2011)

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

Combining Revision Production Rules and Description Logics., and . KES, volume 2773 of Lecture Notes in Computer Science, page 89-98. Springer, (2003)Reasoning in the Description Logic ALC under Category Semantics., , and . CoRR, (2022)Tableau-based revision for expressive description logics with individuals., , and . J. Web Semant., (2017)OntoRev : un moteur de révision d'ontologies OWL(OntoRev: A revision engine for OWL ontologies)., , and . CNIA+RJCIA, volume 2133 of CEUR Workshop Proceedings, page 118-122. CEUR-WS.org, (2018)A Decision Procedure for SHOIQ with Transitive Closure of Roles., , and . ISWC (1), volume 8218 of Lecture Notes in Computer Science, page 264-279. Springer, (2013)Moteur de révision d'ontologie en SHIQ., , , and . Ingénierie des Systèmes d Inf., 23 (2): 39-59 (2018)Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms., and . Description Logics, volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)SHOIQ with Transitive Closure of Roles Is Decidable., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 735-746. CEUR-WS.org, (2013)Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract)., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Ontology Based Data Integration Over Document and Column Family Oriented NOSQL., , and . CoRR, (2013)