Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs

Authors:
Stijn Heymans;Davy Van Nieuwenborgh;Dirk Vermeir
Affiliations:
Dept. of Computer Science, Vrije Universiteit Brussel, VUB, Brussels, Belgium;Dept. of Computer Science, Vrije Universiteit Brussel, VUB, Brussels, Belgium;Dept. of Computer Science, Vrije Universiteit Brussel, VUB, Brussels, Belgium
Venue:
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Year:
2005

Citing 9
Cited 18

Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
On the relative expressiveness of description logics and predicate logics

Artificial Intelligence
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Nonmonotonic Rule Systems on Top of Ontology Layers

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions

WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
The Description Logic Handbook

The Description Logic Handbook
Reducing OWL entailment to description logic satisfiability

Web Semantics: Science, Services and Agents on the World Wide Web

Automated argument system based on logic of multiple-valued argumentation

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
External sources of knowledge and value invention in logic programming

Annals of Mathematics and Artificial Intelligence
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Open answer set programming with guarded programs

ACM Transactions on Computational Logic (TOCL)
Guarded hybrid knowledge bases12

Theory and Practice of Logic Programming
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Agent Reasoning with Semantic Web in Web Blogs

PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
The Logic of Multiple-Valued Argumentation and its Applications to Web TechnologyExtended Abstract

Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web

Journal on Data Semantics XII
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

ACM Transactions on Computational Logic (TOCL)
FDNC: decidable non-monotonic disjunctive logic programs with function symbols

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Rules and logic programming for the web

RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Preferential reasoning on a web of trust

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Guarded open answer set programming

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Decidable fragments of logic programming with value invention

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
On representational issues about combinations of classical theories with nonmonotonic rules

KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Guarded open answer set programming with generalized literals

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason with both ontological and rule-based knowledge, which is illustrated by simulating reasoning in an expressive description logic (DL) equipped with DL-safe rules. Furthermore, ECLPs are more expressive in the sense that they enable nonmonotonic reasoning, a desirable feature in locally closed subareas of the Semantic Web.