A tableaux decision procedure for SHOIQ

Authors:
Ian Horrocks;Ulrike Sattler
Affiliations:
School of Computer Science, University of Manchester, UK;School of Computer Science, University of Manchester, UK
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 8
Cited 76

Reasoning with individuals in concept languages

Data & Knowledge Engineering
An Industrial Strength Description Logics-Based Configurator Platform

IEEE Intelligent Systems
FaCT and DLP

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
RACER System Description

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 complexity of reasoning with cardinality restrictions and nominals in expressive description logics

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

Modality conflicts in semantics aware access control

ICWE '06 Proceedings of the 6th international conference on Web engineering
A Flexible Ontology Reasoning Architecture for the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
Analyzing web access control policies

Proceedings of the 16th international conference on World Wide Web
Toward expressive syndication on the web

Proceedings of the 16th international conference on World Wide Web
Semantic web: the story so far

W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Hybrid Logics and Ontology Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
Optimizing Terminological Reasoning for Expressive Description Logics

Journal of Automated Reasoning
Indexing ontologies with semantics-enhanced keywords

Proceedings of the 4th international conference on Knowledge capture
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$

Journal of Automated Reasoning
Structured objects in owl: representation and reasoning

Proceedings of the 17th international conference on World Wide Web
Undecidability of the unification and admissibility problems for modal and description logics

ACM Transactions on Computational Logic (TOCL)
Semantic metrics

International Journal of Metadata, Semantics and Ontologies
From metadata application profiles to semantic profiling: ontology refinement and profiling to strengthen inference-based queries on the semantic web

International Journal of Metadata, Semantics and Ontologies
On Capturing Semantics in Ontology Mapping

World Wide Web
Syndication on the Web using a description logic approach

Web Semantics: Science, Services and Agents on the World Wide Web
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Query Answering in the Description Logic Horn-$\mathcal{SHIQ}$

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Extending Carin to the Description Logics of the $\mathcal{SH}$ Family

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
OWL 2: The next step for OWL

Web Semantics: Science, Services and Agents on the World Wide Web
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Optimised Semantic Reasoning for Pervasive Service Discovery

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Plans, Actions and Dialogues Using Linear Logic

Journal of Logic, Language and Information
Efficient mobile reasoning for pervasive discovery

Proceedings of the 2009 ACM symposium on Applied Computing
Extracting Modules from Ontologies: A Logic-Based Approach

Modular Ontologies
Ontology Integration Using ε-Connections

Modular Ontologies
Composing Modular Ontologies with Distributed Description Logics

Modular Ontologies
Package-Based Description Logics

Modular Ontologies
A Tableau Algorithm for Handling Inconsistency in OWL

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
General Concept Inclusions in Fuzzy Description Logics

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Cost efficient, adaptive reasoning strategies for pervasive service discovery

Proceedings of the 2009 international conference on Pervasive services
Coping with Exceptions in Agent-Based Workflow Enactments

Engineering Societies in the Agents World IX
Characterizing data complexity for conjunctive query answering in expressive description logics

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
SPARQL graph pattern rewriting for OWL-DL inference queries

Knowledge and Information Systems
A semantic importing approach to knowledge reuse from multiple ontologies

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Reasoning with very expressive fuzzy description logics

Journal of Artificial Intelligence Research
Modular reuse of ontologies: theory and practice

Journal of Artificial Intelligence Research
A logical framework for modularity of ontologies

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A Weighted Approach to Partial Matching for Mobile Reasoning

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Interpreting SWRL Rules in RDF Graphs

Electronic Notes in Theoretical Computer Science (ENTCS)
Anomalies in ontologies with rules

Web Semantics: Science, Services and Agents on the World Wide Web
Combining OWL ontologies using E-Connections

Web Semantics: Science, Services and Agents on the World Wide Web
Evaluating formalisms for modular ontologies in distributed information systems

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
One-pass tableaux for computation tree logic

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
An efficient and scalable management of ontology

DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Data quality enhancement of databases using ontologies and inductive reasoning

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
History matters: incremental ontology reasoning using modules

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Description logic based consistency checking upon data mining metadata

RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Using ontologies to search learning resources

ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
An extended predictive model markup language for data mining

WAIM'10 Proceedings of the 11th international conference on Web-age information management
Reasoning and explanation in EL and in expressive description logics

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Building multi-agent systems for workflow enactment and exception handling

COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
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
Conjunctive query optimization in OWL2-DL

DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
OWL: a description logic based ontology language

ICLP'05 Proceedings of the 21st international conference on Logic Programming
A little semantic web goes a long way in biology

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Translating XML web data into ontologies

OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Description logics in ontology applications

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
On the semantics of linking and importing in modular ontologies

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
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
A resolution-based decision procedure for SHOIQ

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A semantic search conceptual model and application in security access control

ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Description logic reasoning with syntactic updates

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Data integration targeting a drug related knowledge base

EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Semantic metrics

EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Hybrid reasoning for web services discovery

RED'10 Proceedings of the Third international conference on Resource Discovery
Description logic knowledge base exchange

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Reasoning over ontologies with hidden content: the import-by-query approach

Journal of Artificial Intelligence Research
Implementing situation-aware and user-adaptive music recommendation service in semantic web and real-time multimedia computing environment

Multimedia Tools and Applications
The racerpro knowledge representation and reasoning system

Semantic Web
Introductions to description logics: a guided tour

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
The RacerPro knowledge representation and reasoning system

Semantic Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best of our knowledge, this is the first goal-directed decision procedure for SHOIQ.