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
Journal ArticleDOI
The use of carin language and algorithms for information integration: the picsel system
TL;DR: The way the expressive power of the CARIN language is exploited in the PICSEL information integration system, while maintaining the decidability of query answering is described.
Proceedings ArticleDOI
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
TL;DR: OWL Flight is presented, which is loosely based on OWL, but the semantics is grounded in Logic Programming rather than Description Logics, and it borrows the constraint-based modeling style common in databases.
Book ChapterDOI
Ontology-Mediated Query Answering with Data-Tractable Description Logics
Meghyn Bienvenu,Magdalena Ortiz +1 more
TL;DR: A brief introduction to ontology-mediated query answering using description logic (DL) ontologies, with a focus on DLs for which query answering scales polynomially in the size of the data, as these are best suited for applications requiring large amounts of data.
Book ChapterDOI
Can OWL and logic programming live together happily ever after
TL;DR: A novel logic of hybrid MKNF knowledge bases is presented, which seamlessly integrates OWL with LP, and is capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web.
Journal ArticleDOI
Local closed world reasoning with description logics under the well-founded semantics
TL;DR: This paper proposes a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs.
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.