Heiko Kattenstroth, Wolfgang May, Franz Schenk:
Combining OWL with F-Logic Rules and Defaults.
Abstract
We describe the combination of OWL and F-Logic for the
architecture of Semantic Web application nodes. The approach has been
implemented by combining an existing Jena-based architecture with an
external Florid instance. The approach provides a tight language coupling,
i.e., the same notions can be defined both by OWL definitions
and by F-Logic rules. F-Logic rules are used for e.g., role-value-maps,
closed-world-reasoning, (stratified) negation, aggregation, and definition
of answer views; additionally the default inheritance of F-Logic can be
exploited.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-086
@inproceedings{REWERSE-RP-2007-086, author = {Heiko Kattenstroth and Wolfgang May and Franz Schenk}, title = {Combining OWL with F-Logic Rules and Defaults}, booktitle = {Proceedings of 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, Porto, Portugal (13th September 2007)}, year = {2007}, volume = {287}, pages = {60--75}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-086} }