Absorption-Based Query Answering for Expressive Description Logics
- 17 October 2019
- book chapter
- Published by Springer Nature
- p. 593-611
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- The OWL Reasoner Evaluation (ORE) 2015 Competition ReportJournal of Automated Reasoning, 2017
- Reasoning with Nominal Schemas through AbsorptionJournal of Automated Reasoning, 2014
- Konclude: System descriptionJournal of Web Semantics, 2014
- HermiT: An OWL 2 ReasonerJournal of Automated Reasoning, 2014
- Data Complexity of Query Answering in Expressive Description Logics via TableauxJournal of Automated Reasoning, 2008
- Conjunctive Query Answering for the Description Logic SHIQJournal of Artificial Intelligence Research, 2008
- Pellet: A practical OWL-DL reasonerJournal of Web Semantics, 2007
- Towards a Complete OWL Ontology Benchmark2006
- Querying the Semantic Web: A Formal Approach2002
- Hybrid languagesJournal of Logic, Language and Information, 1995