Using terminological reasoning in hybrid systems
AI Communications
Reasoning with individuals in concept languages
Data & Knowledge Engineering
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Why are modal logics so robustly decidable?
Current trends in theoretical computer science
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Complexity of Two-Variable Logic with Counting
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
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
Ordering heuristics for description logic reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Expressive probabilistic description logics
Artificial Intelligence
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Ontologies and the semantic web
Communications of the ACM - Surviving the data deluge
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Formalizing Ontology Modularization through the Notion of Interfaces
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Detecting Dirty Queries during Iterative Development of OWL Based Applications
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidability of $\mathcal{SHI}$ with Transitive Closure of Roles
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Terminating Tableau Systems for Hybrid Logic with Difference and Converse
Journal of Logic, Language and Information
Personalized reasoner based on belief strengths of information sources
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Sound Global State Caching for ALC with Inverse Roles
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Automated Synthesis of Tableau Calculi
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Journal of Ambient Intelligence and Smart Environments
AI Communications - Practical Aspects of Automated Reasoning
Evaluating ontologies: Towards a cognitive measure of quality
Information Systems
Extending soft sets with description logics
Computers & Mathematics with Applications
Reasoning problems on distributed fuzzy ontologies
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Coalition Description Logic with Individuals
Electronic Notes in Theoretical Computer Science (ENTCS)
Storage and query about ontology with expressive means
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
A semantic backend for content management systems
Knowledge-Based Systems
Combining description logics, description graphs, and rules
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Synthesising terminating tableau calculi for relational logics
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Query Answering with DBoxes is Hard
Electronic Notes in Theoretical Computer Science (ENTCS)
Capturing instance level ontology evolution for DL-lite
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Privacy preserving modules for ontologies
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Terminating tableaux for hybrid logic with eventualities
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
Journal of Ambient Intelligence and Smart Environments
A bisimulation-based method of concept learning for knowledge bases in description logics
Proceedings of the Third Symposium on Information and Communication Technology
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Robotics and Autonomous Systems
A proof procedure for hybrid logic with binders, transitivity and relation hierarchies
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
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
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
| Hi-index | 0.00 |
OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic $\mathcal{SHOIN}$ . Although the ontology consistency problem for $\mathcal{SHOIN}$ is known to be decidable, up to now there has been no known "practical" decision procedure, that is, a goal-directed procedure that is likely to perform well with realistic ontology derived problems. We present such a decision procedure for $\mathcal{SHOIQ}$ , a slightly more expressive logic than $\mathcal{SHOIN}$ , extending the well-known algorithm for $\mathcal{SHIQ}$ , which is the basis for several highly successful implementations.