A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Cardinality restrictions on concepts
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Artificial Intelligence
Resolution Methods for the Decision Problem
Resolution Methods for the Decision Problem
A Benchmark Method for the Propositional Modal Logics K, KT, S4
Journal of Automated Reasoning
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Comparison of Theorem Provers for Modal Logics - Introduction and Summary
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Resolution decision procedures
Handbook of automated reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
The description logic handbook
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
Modeling a description logic vocabulary for cancer research
Journal of Biomedical Informatics
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
The foundational model of anatomy in OWL: Experience and perspectives
Web Semantics: Science, Services and Agents on the World Wide Web
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
A Hybrid Tableau Algorithm for ALCQ
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Ordering heuristics for description logic reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Blocking and other enhancements for bottom-up model generation methods
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Short communication: Reasoning with part-part relations in a description logic
Knowledge-Based Systems
Optimising ontology classification
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Towards managing software architectures with ontologies
Graph transformations and model-driven engineering
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Expressing conditions in tailored brochures for public administration
Proceedings of the 11th ACM symposium on Document engineering
Automatically generating citizen-focused brochures for public administration
Proceedings of the 12th Annual International Digital Government Research Conference: Digital Government Innovation in Challenging Times
LogMap: logic-based and scalable ontology matching
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Rough subsumption reasoning with rOWL
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform
Proceedings of the 21st international conference companion on World Wide Web
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Solving graded/probabilistic modal logic via linear inequalities (system description)
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic decision making using ontology-based soft sets
Mathematical and Computer Modelling: An International Journal
A practical automata-based technique for reasoning in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
An evaluation of tailored web materials for public administration
Proceedings of the 23rd ACM conference on Hypertext and social media
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
BioOntoVerb: A top level ontology based framework to populate biomedical ontologies from texts
Knowledge-Based Systems
Advocatus diaboli --- exploratory enrichment of ontologies with negative constraints
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
Cost based query ordering over OWL ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Validating the semantics of a medical iconic language using ontological reasoning
Journal of Biomedical Informatics
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research
Making the most of your triple store: query answering in OWL 2 using an RL reasoner
Proceedings of the 22nd international conference on World Wide Web
Colledge: a vision of collaborative knowledge networks
Proceedings of the 2nd International Workshop on Semantic Search over the Web
The pragmatic web: addressing complex communication in public administration using tailored delivery
Proceedings of the 31st ACM international conference on Design of communication
Government to citizen communications: from generic to tailored documents in public administration
Information Polity - Special issue on Open Government and Public Participation: Issues and Challenges in Creating Public Value
Towards simulation-based similarity of end user browsing processes
ICWE'13 Proceedings of the 13th international conference on Web Engineering
Medical data management in the SYSEO project
ACM SIGMOD Record
Using tableau to decide description logics with full role negation and identity
ACM Transactions on Computational Logic (TOCL)
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
A decidable extension of SROIQ with complex role chains and unions
Journal of Artificial Intelligence Research
Dynamic sensor data segmentation for real-time knowledge-driven activity recognition
Pervasive and Mobile Computing
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Optimizing SPARQL query answering over OWL ontologies
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We present a novel reasoning calculus for the description logic SHOIQ+--a knowledge representation formalism with applications in areas such as the SemanticWeb. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning calculi used in state-of-the-art reasoners. In order to reduce nondeterminism, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. In order to reduce the size of the constructed models, we introduce anywhere pairwise blocking. We also present an improved nominal introduction rule that ensures termination in the presence of nominals, inverse roles, and number restrictions--a combination of DL constructs that has proven notoriously difficult to handle. Our implementation shows significant performance improvements over state-of-the-art reasoners on several well-known ontologies.