Attributive concept descriptions with complements
Artificial Intelligence
Cardinality restrictions on concepts
Artificial Intelligence
Reasoning in description logics
Principles of knowledge representation
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combining deduction and model checking into Tableaux and algorithms for converse-PDL
Information and Computation
A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Source Integration in Data Warehousing
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
A Description Logic with Transitive and Converse Roles Role Hierarchies and Qualifying Number Restrictions
A PSpace algorithm for deciding ALCNIR satisfiability
A PSpace algorithm for deciding ALCNIR satisfiability
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
A Knowledge-Based Query System for Biological Databases
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Schema Evolution and Versioning: A Logical and Computational Characterisation
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Extending Datatype Support in Web Ontology Reasoning
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Defeasible Ontology Language
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
CL '00 Proceedings of the First International Conference on Computational Logic
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
NEXPTIME-Complete Description Logics with Concrete Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
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
A Knowledge Based Paradigm for Querying Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Distributed Reasoning with Fuzzy Description Logics
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Description Logic Representation for Requirement Specification
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Any-World Access to OWL from Prolog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
The Complexity of Conjunctive Query Answering in Expressive Description Logics
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
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Rule-Based Approaches for Representing Probabilistic Ontology Mappings
Uncertainty Reasoning for the Semantic Web I
Ontology Engineering --- The DOGMA Approach
Advances in Web Semantics I
An Approach to Detect Collaborative Conflicts for Ontology Development
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
Package-Based Description Logics
Modular Ontologies
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
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
Semantic data management for situation-aware assistance in ambient assisted living
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
An ontological modeling approach to cerebrovascular disease studies: The NEUROWEB case
Journal of Biomedical Informatics
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Web services: opportunities and challenges
ACS'10 Proceedings of the 10th WSEAS international conference on Applied computer science
Ontology-enabled activity learning and model evolution in smart homes
UIC'10 Proceedings of the 7th international conference on Ubiquitous intelligence and computing
Editorial: Using OWL and SWRL to represent and reason with situation-based access control policies
Data & Knowledge Engineering
Semantic representation of multimedia content
Knowledge-driven multimedia information extraction and ontology evolution
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Situation aware cognitive assistance in smart homes
Journal of Mobile Multimedia
Automating competence management through non-standard reasoning
Engineering Applications of Artificial Intelligence
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Variable-strength conditional preferences for ranking objects in ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A dynamic grid workflow model based on workflow component reuse
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Architecture of a semantic XPath processor. application to digital rights management
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
OWL-Eu: adding customised datatypes into OWL
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Semantic mediation of vocabularies for ocean observing systems
Computers & Geosciences
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
f-SWRL: a fuzzy extension of SWRL
Journal on Data Semantics VI
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Engineering knowledge for engineering grid applications
EuroWeb'02 Proceedings of the 2002 international conference on EuroWeb
SPARQL query containment under RDFS entailment regime
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Imposing restrictions over temporal properties in OWL: a rule-based approach
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
PV-TONS: A photovoltaic technology ontology system for the design of PV-systems
Engineering Applications of Artificial Intelligence
A semantic metrics suite for evaluating modular ontologies
Information Systems
Dynamic sensor data segmentation for real-time knowledge-driven activity recognition
Pervasive and Mobile Computing
Ontological modelling of form and function for architectural design
Applied Ontology
Hi-index | 0.00 |
Description Logics (DLs) axe a family of knowledge representation formetlisms mainly chauracterised by constructors to build complex concepts and iroles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satisfiability of the DL ACC extended with transitive eind inverse roles, role hierarchies, and quaJifying number restrictions. Early experiments indicate that this algorithm is well-suited for implementation. Additionally, we show that ACC extended with just transitive and inverse roles is still in PSPACE. Finally, we investigate the limits of decidability for this family of DLs.