combining owl with strongfstrong-logic rules and defaults.pdfVIP

Combining OWL with F-Logic Rules and Defaults Heiko Kattenstroth, Wolfgang May, and Franz Schenk Institut f¨ur Informatik, Universit¨at G¨ottingen, {hkattens|may|schenk}@informatik.uni-goettingen.de 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 cou- pling, 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. 1 Introduction Description Logics [BCM+03] provide the underlying base for the dominat- ing data model and languages for the Semantic Web, RDF, RDFS, and OWL [OWL04]. It is based on the notion of classes, auch as Person, Country, City, and properties, auch as hasName, hasChild, livesIn, hasCapital. This corresponds to unary and binary relations in First-Order-Logic and relational databases, such as Person(john), hasName(john,“John”), and livesIn(john,berlin). Description Log- ics additionally allow for further specifications of classes (and properties) that have no direct equivalent in relational databases, e.g. that a parent is a person who has at least one child: Parent ≡ Person ∃hasChild. or the assertion that children are persons, Parent ∀hasChild.Person. Such things can be expressed by rules in FOL, but are not inherent concepts of FOL semantics. Thus, the “built-ins” are more advanced than in FOL, but on the other hand, DL formulas a