07.07.2009 1
Wolf-Tilo Balke Christoph Lofi Institut für Informationssysteme Technische Universität Braunschweig http://www.ifis.cs.tu-bs.de
Knowledge-Based Systems and Deductive Databases
14.1 Generating ontologies 14.2 Wisdom of the crowds 14.3 Folksonomies
Knowledge-Based Systems and Deductive Databases – Wolf-Tilo Balke & Christoph Lofi – IfIS – TU Braunschweig 2
14 Social Systems
- Last week we saw ontologies as a powerful
instrument for…
– Representing knowledge – And reason about it!
- Ontologies, rules and logics form
the middle layer of the proposed Semantic Web stack
– Formal syntax – Formal semantics
Knowledge-Based Systems and Deductive Databases – Wolf-Tilo Balke & Christoph Lofi – IfIS – TU Braunschweig 3
14.0 Semantic Web Reasoning
- OWL is the language (and semantics) of choice
for the ontology part
– But OWL DL has a somewhat different semantics from RDF/S – And OWL Full is compatible with RDF/S, but computationally difficult…
- Extensions to first order logic (FOL) or other
extensions, such as simple common logic (SCL) are even more difficult
Knowledge-Based Systems and Deductive Databases – Wolf-Tilo Balke & Christoph Lofi – IfIS – TU Braunschweig 4
14.0 Semantic Web Reasoning
- Thus, the stack does not really consists of a set of
languages building directly and completely on the lower languages (RDF/S OWL logic)
– Also a subsequent refinement to the „DL-program‟ bit of OWL and the split between OWL and rule languages did not help much – RDF triples encode facts, but are also used to encode syntax…
- Complex syntax is clumsy to write
- Syntax is a true fact..?!
Knowledge-Based Systems and Deductive Databases – Wolf-Tilo Balke & Christoph Lofi – IfIS – TU Braunschweig 5
14.0 Semantic Web Reasoning
- While RDF/S (or at least the DLP bits) form a valid
foundation for OWL, Datalog-style rule languages need other assumptions
– Closed world semantics – Leads to full negation as failure (NAF) – …
- Whereas DLP is only a subset
- f Horn rules
– And if it is interpreted with Herbrand models and CWA, it is no longer suitable for OWL…
Knowledge-Based Systems and Deductive Databases – Wolf-Tilo Balke & Christoph Lofi – IfIS – TU Braunschweig 6
14.0 Semantic Web Reasoning
Is there an overarching logic framework?