S. Heymans, C. Feier, and T. Eiter. Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009), volume 5837 of Lecture Notes in Computer Science, page 55-70. Chantilly, USA, Springer, (October 2009)
Abstract
Open Answer Set Programming (OASP) can be seen as a
framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The framework makes the open-domain assumption and has a rule-based syntax supporting negation under a stable model semantics. Although decidability of different fragments of OASP has been identified, reasoning and effective algorithms remained largely unexplored. In this paper, we describe an algorithm for satisfiability checking of the fragment of simple Conceptual Logic Programs and provide a BProlog implementation. To the
best of our knowledge, this is the first implementation of a (fragment) of a framework that can tightly integrate ontologies and non-DL-safe rules under an expressive nonmonotonic semantics.
%0 Conference Paper
%1 rr2009-heymans
%A Heymans, Stijn
%A Feier, Cristina
%A Eiter, Thomas
%B Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)
%C Chantilly, USA
%D 2009
%E Polleres, Axel
%E Swift, Terrance
%I Springer
%K 2009 bprolog d73 myown ontologies ontorule reasoning refereedpub rr2009 rules
%P 55-70
%T A Reasoner for Simple Conceptual Logic Programs
%U http://stijnheymans.net/pubs/rr2009.pdf
%V 5837
%X Open Answer Set Programming (OASP) can be seen as a
framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The framework makes the open-domain assumption and has a rule-based syntax supporting negation under a stable model semantics. Although decidability of different fragments of OASP has been identified, reasoning and effective algorithms remained largely unexplored. In this paper, we describe an algorithm for satisfiability checking of the fragment of simple Conceptual Logic Programs and provide a BProlog implementation. To the
best of our knowledge, this is the first implementation of a (fragment) of a framework that can tightly integrate ontologies and non-DL-safe rules under an expressive nonmonotonic semantics.
@inproceedings{rr2009-heymans,
abstract = {Open Answer Set Programming (OASP) can be seen as a
framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The framework makes the open-domain assumption and has a rule-based syntax supporting negation under a stable model semantics. Although decidability of different fragments of OASP has been identified, reasoning and effective algorithms remained largely unexplored. In this paper, we describe an algorithm for satisfiability checking of the fragment of simple Conceptual Logic Programs and provide a BProlog implementation. To the
best of our knowledge, this is the first implementation of a (fragment) of a framework that can tightly integrate ontologies and non-DL-safe rules under an expressive nonmonotonic semantics.
},
added-at = {2010-11-17T22:28:27.000+0100},
address = {Chantilly, USA},
author = {Heymans, Stijn and Feier, Cristina and Eiter, Thomas},
biburl = {https://www.bibsonomy.org/bibtex/2f7e1efb6bf965a602ed2e3a89e98539a/stijn.heymans},
booktitle = {Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)},
editor = {Polleres, Axel and Swift, Terrance},
interhash = {64961e6869c07487504aaaa3340eeb06},
intrahash = {f7e1efb6bf965a602ed2e3a89e98539a},
keywords = {2009 bprolog d73 myown ontologies ontorule reasoning refereedpub rr2009 rules},
month = {October},
pages = {55-70},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2010-11-17T22:28:27.000+0100},
title = {A Reasoner for Simple Conceptual Logic Programs},
url = {http://stijnheymans.net/pubs/rr2009.pdf},
volume = 5837,
year = 2009
}