Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Attributive concept descriptions with complements
Artificial Intelligence
The complexity of existential quantification in concept languages
Artificial Intelligence
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent systems
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)
The complexity of concept languages
Information and Computation
Propositional logics of programs: systems, models, and complexity
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Reasoning with Concrete Domains
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Extensions of Concept Languages for a Mechanical Engineering Application
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
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
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
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
Interval-based temporal reasoning with general TBoxes
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
On Fibring Semantics for BDI Logics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
ε-connections of abstract description systems
Artificial Intelligence
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Information and Computation - Special issue: Combining logical systems
A comprehensive combination framework
ACM Transactions on Computational Logic (TOCL)
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Noetherianity and Combination Problems
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Ontology Integration Using ε-Connections
Modular Ontologies
Privacy-Preserving Query Answering in Logic-based Information Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Description logics with approximate definitions precise modeling of vague concepts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Import-by-query: ontology reasoning under access limitations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
Providing universal accessibility using connecting ontologies: a holistic approach
UAHCI'07 Proceedings of the 4th international conference on Universal access in human-computer interaction: applications and services
How many legs do i have?: non-simple roles in number restrictions revisited
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Distributive lattice-structured ontologies
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A distributed and fuzzy extension of description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Invited contribution: a comprehensive framework for combined decision procedures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Connecting many-sorted structures and theories through adjoint functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Connecting many-sorted theories
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covered by the results from modal logics. In this paper, we extend the decidability transfer results from normal modal logics to a large class of description logics. To cover different description logics in a uniform way, we introduce abstract description systems, which can be seen as a common generalization of description and modal logics, and show the transfer results in this general setting.