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
Reasoning with inconsistencies in hybrid MKNF knowledge bases
TL;DR: A paraconsistent semantics for hybrid MKNF knowledge bases based on four-valued logic as proposed by Belnap is presented and reduced to the stable model semantics via a linear transformation operator, which indicates that the data complexity in the paradigm is not higher than that of classical reasoning.
Dissertation
OntoQL, un langage d'exploitation des bases de données à base ontologique
TL;DR: Ce langage repond au triple probleme evoque precedemment en presentant trois caracteristiques essentielles qui le distinguent des autres langages.
Journal ArticleDOI
An overview of fuzzy Description Logics for the Semantic Web
TL;DR: This paper focuses on fuzzy extensions of DLs based on fuzzy set theory, and introduces the existing fuzzy DLs from the origin, development (from weaker to stronger in expressive power), some special techniques, and so on.
Journal ArticleDOI
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
TL;DR: This article presents three embeddings of normal and three embedDings of disjunctive nonground logic programs under the stable model semantics into first-order AEL, and compares them with respect to stable expansions and autoepistemic consequences.
Book ChapterDOI
Combining safe rules and ontologies by interfacing of reasoners
TL;DR: A framework for hybrid combination of rule languages with constraint languages including but not restricted to Description-Logic-based ontology languages is presented and it shows how reasoning in a combined language can be done by interfacing reasoners of the component languages.
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.