Combining Horn rules and description logics in CARIN
Reads0
Chats0
TLDR
It is shown that in general, the reasoning problem for recursive carin - A LCNR knowledge bases is undecidable, and the constructors of ALCNR causing the undecidability is identified.About:
This article is published in Artificial Intelligence.The article was published on 1998-09-01 and is currently open access. It has received 401 citations till now. The article focuses on the topics: Knowledge representation and reasoning & Description logic.read more
Citations
More filters
Proceedings Article
Status QIO : conjunctive query entailment is decidable
Birte Glimm,Sebastian Rudolph +1 more
TL;DR: This work presents a decidability result for entailment of unions of CQs in a DL with all three problematic constructors and believes that the presented results will pave the way for further progress towards CQ entailment decision procedures for OWL.
Journal Article
Rules and Queries with Ontologies: a Unifying Logical Framework.
Sergio Tessaris,Enrico Franconi +1 more
TL;DR: A common framework for investigating the problem of combining ontology and rule languages in the context of Semantic Web, but the approach can be applied in any Description Logics (DL) based system.
Book ChapterDOI
A bottom-up method for the deterministic horn fragment of the description logic ALC
TL;DR: In this article, a deterministic positive logic program P given as a TBox is constructed such that P⊧C iff πR.C is allowed in bodies of program clauses and queries only in the form ∀∃RC.
Book ChapterDOI
Integration proposal for description logic and attributive logic: towards semantic web rules
TL;DR: An integration proposal for Description Logics and Attributive Logics is presented and a possible transition from ALSV to DL is introduced, opening up possibilities of using XTT2, a well-founded rule-based system modelling rule language, to improve the design of Semantic Web rules.
Book ChapterDOI
Representation of Ontologies for Information Integration
TL;DR: The problem addressed in the paper is how to represent such an ontology into CARIN-ALN, a formalism combining classes and rules, and focuses on the choices for representing classes, properties and constraints using the characteristics of the formalism.
References
More filters
Lecture Notes in Artificial Intelligence
P. Brezillon,P. Bouquet +1 more
TL;DR: The topics in LNAI include automated reasoning, automated programming, algorithms, knowledge representation, agent-based systems, intelligent systems, expert systems, machine learning, natural-language processing, machine vision, robotics, search systems, knowledge discovery, data mining, and related programming languages.
Book
Principles of database and knowledge-base systems
TL;DR: This book goes into the details of database conception and use, it tells you everything on relational databases from theory to the actual used algorithms.
Journal ArticleDOI
Attributive concept descriptions with complements
TL;DR: It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that can be decided with linear space.
Proceedings ArticleDOI
Semistructured data
TL;DR: A number of issues surrounding semistructured data are covered: finding a concise formulation, building a sufficiently expressive language for querying and transformation, and optimizat,ion problems.
Book
Foundations of deductive databases and logic programming
TL;DR: This book discusses Negation in Logic Programming, a Theory of Declarative Knowledge, and its Applications in Deductive Databases and Implementation, as well as other topics.