Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Attributive concept descriptions with complements
Artificial Intelligence
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Plan-based integration of natural language and graphics generation
Artificial Intelligence - Special volume on natural language processing
A resolution principle for constrained logics
Artificial Intelligence
On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
A description classifier for the predicate calculus
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
A Hybrid System with Datalog and Concept Languages
AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Query-answering algorithms for information agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Compiling Source Descriptions for Efficient and Flexible Information Integration
Journal of Intelligent Information Systems
Decidability of First-Order Logic Queries over Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
A Refinement Operator for Description Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
The description logic handbook
An ontology and context based client model for dart information grid
International Journal of High Performance Computing and Networking
ECML '07 Proceedings of the 18th European conference on Machine Learning
Verification of knowledge bases based on containment checking
Artificial Intelligence
Mapping Relational Databases to the Semantic Web with Original Meaning
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Verification of knowledge bases based on containment checking
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Description and generation of computational agents
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A semantic rewriting approach to automatic information providing web service composition
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Hi-index | 0.00 |
Horn rule languages have formed the basis for many Artificial Intelligence application languages, but are not expressive enough to model domains with a rich hierarchical structure. Description logics have been designed especially to model rich hierarchies. Several applications would significantly benefit from combining the expressive power of both formalisms. This paper focuses on combining recursive function-free Horn rules with the expressive description logic ALCNR, and shows exactly when a hybrid language with decidable inference can be obtained. First, we show that several of the core constructors of description logics lead by themselves to undecidability of inference when combined with recursive function-free Horn rules. We then show that without these constructors we obtain a maximal subset of ALCNR that yields a decidable hybrid language. Finally, we describe a restriction on the Horn rules that guarantees decidable inference when combined with all of ALCNR, and covers many of the common usages of recursive rules.