C. Feier, and S. Heymans. Proceedings of 6th Annual European Semantic Web Conference (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, page 338-352. Heraklion, Greece, Springer, (June 2009)
Abstract
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. forest logic programs, a fragment where rules have a tree shape and allow for inequality atoms and constants. We further introduce f-hybrid knowledge bases, a hybrid framework where SHOQ knowledge bases and forest logic programs co-exist, and we show that reasoning with such knowledge bases can be reduced to reasoning with forest logic programs only. We note that f-hybrid knowledge bases do not require the usual (weakly) DL-safety of the rule component, providing thus a genuine alternative approach to hybrid reasoning.
%0 Conference Paper
%1 eswc2009-feier
%A Feier, Cristina
%A Heymans, Stijn
%B Proceedings of 6th Annual European Semantic Web Conference (ESWC 2009)
%C Heraklion, Greece
%D 2009
%I Springer
%K 2009 d73 eswc2009 myown ontorule refereedpub
%P 338-352
%T Hybrid Reasoning with Forest Logic Programs
%U http://stijnheymans.net/pubs/eswc2009.pdf
%V 5554
%X Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. forest logic programs, a fragment where rules have a tree shape and allow for inequality atoms and constants. We further introduce f-hybrid knowledge bases, a hybrid framework where SHOQ knowledge bases and forest logic programs co-exist, and we show that reasoning with such knowledge bases can be reduced to reasoning with forest logic programs only. We note that f-hybrid knowledge bases do not require the usual (weakly) DL-safety of the rule component, providing thus a genuine alternative approach to hybrid reasoning.
@inproceedings{eswc2009-feier,
abstract = {Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. forest logic programs, a fragment where rules have a tree shape and allow for inequality atoms and constants. We further introduce f-hybrid knowledge bases, a hybrid framework where SHOQ knowledge bases and forest logic programs co-exist, and we show that reasoning with such knowledge bases can be reduced to reasoning with forest logic programs only. We note that f-hybrid knowledge bases do not require the usual (weakly) DL-safety of the rule component, providing thus a genuine alternative approach to hybrid reasoning.},
added-at = {2010-11-17T22:29:09.000+0100},
address = {Heraklion, Greece},
author = {Feier, Cristina and Heymans, Stijn},
biburl = {https://www.bibsonomy.org/bibtex/24206b4a3dd18f6b9394d78c1ba727b0f/stijn.heymans},
booktitle = {Proceedings of 6th Annual European Semantic Web Conference (ESWC 2009)},
interhash = {24e018cef56b9db19423cb62a6772357},
intrahash = {4206b4a3dd18f6b9394d78c1ba727b0f},
keywords = {2009 d73 eswc2009 myown ontorule refereedpub},
month = {June},
pages = {338-352},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2010-11-17T22:29:10.000+0100},
title = {Hybrid Reasoning with Forest Logic Programs},
url = {http://stijnheymans.net/pubs/eswc2009.pdf},
volume = 5554,
year = 2009
}