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
Characterizing data complexity for conjunctive query answering in expressive description logics
TL;DR: For a whole range of DLs from AL to SHIQ, answering CQs with no transitive roles has CONP-complete data complexity, established by a novel tableaux-based algorithm for checking query entailment.
Book ChapterDOI
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs
TL;DR: The aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
Book ChapterDOI
OWL and rules
TL;DR: Which kind of rules can be modeled in the current version of OWL, and how OWL can be extended to incorporate rules are shown.
Journal ArticleDOI
Probabilistic description logic programs
TL;DR: It is shown that query processing in probabilistic description logic programs can be reduced to computing all answer sets of dl-programs and solving linear optimization problems, and to computing the well-founded model of dL- programs, respectively.
Proceedings Article
Engineering Ontologies using Semantic Patterns.
TL;DR: This paper presents a methodology for engineering semantic knowledge such that these semantic structures are easier reusable when switching between several representation 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.