Combining OWL with F-Logic Rules and Defaults

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.

• Type: Conference
• Year: 2007
• Where: ICLP
• Authors: Heiko Kattenstroth, Wolfgang May, Franz Schenk
• Keywords: Automated Reasoning, External Florid Instance, F-Logic Rules, ICLP 2007, Web Application Nodes