Thursday, March 8, 2012

Semantic in Bullets - OWL2


  • Vgl OWL1
    • neue ontologische Axiome, neue Syntaxvariante
    • Erhaltung der Entscheidbarkeit von OWL2 DL
  • OWL DL basiert auf Beschreibungslogik SHOIN(D)
    • Axiome
      • TBox: Subklassenbeziehungen
      • RBox Subrollenbeziehungen, inverse Rollen, Transitivität
      • ABox: Fakten zu Klassen, Rollen, a=b, a!=b
    • Klassenkonstruktoren
      • Konjunktionen, Diskunktion, Negation
      • beschränkte Rollenrestriktion (Existenz/All per Class)
      • Kardinalitätsrestriktionen
      • abegschlossene Klassen
      • Datentypen
  • SHOIN(D) zu SHROIQ(D)
    • SHROIQ(D) erlaubt
      • negierte Rollenbeziehung
      • qualifizierte Kardinalitätsrestriktionen
      • SELF
      • zusätzliche Rollenaxiome
        • Antisymmetrie, Reflexivität, Irreflexivität, Disjunktheit
      • universelle Rolle
      • Rolleninklusion
        • Einschränkung auf Reguläre Sprachen (nicht kontext-frei)
        • → entscheidbar
        • Beschränkt auf einfache Rollen
          • nicht zusammengesetzt
          • nicht einfach, wenn die Rolle direkt oder indirekt von Verkettung abhängt
      • strukturelle Einschränkungen für Entscheidbarkeit
        • Regularität → RBox Axiome
        • einfache Rollen in Kardnialitätsrestriktionen
  • Überblick
    • Klassenausdrücke
      • Klassen, Konjunktion, Disjunktion, Negation, Exist. Rollenrestriktion, Univ. Rollenrestriktion, Self, größer-als, kleiner-als, Nominale (Individuen)
    • Rollen
      • Rollen, einfache Rollen, inverse Rollen, universelle Rolle
    • TBox
      • Inklusion, Äquivalenz
    • RBox
      • Inklusion, Allg. Inklusion
      • transitiv, symmetrisch, reflexiv, irreflexiv, disjunkt
    • ABox
      • Klassenzugehörigkeit, Rollenbeziehungen, Negierte Rollenbeziehungen, Gleichheit, Ungleichheit
  • Syntax
    • owl:NamedIndividual → keine direkte Klassenzugehörigkeit
    • owl:AllDisjointClasses, owl:disjointUnionOf
    • owl:AsymmetricProperty / ReflexiveProperty / IrreflexivProperty
    • owl:hasKey (nicht beschreibungslogisch)
    • owl:propertyDisjointWith
    • owl:topObjectProperty, owl:bottomObjectProperty, owl:inverseOf
    • owl:PropertyChainAxiom
    • a owl:Restriktion; owl:onClass Cls
    • owl:hasSelf
    • [] rdf:type owl:negativePropertyAssertion
  • Komplexität
    • SHOIN(D) → NExpTime
    • SHROIQ(D) entscheidbar, N2ExpTime
    • erweiterung Tableau durch RBox-Automaten
  • Metamodellierung
    • Punning → einfache Metadaten
  • OWL 2 Profile
    • Subsprachen von OWL2 in Polynomialzeit entscheidbar
    • eleminieren Ursache - Nicht-Determinismus
      • Disjunktion, maxCardinality
      • Kombi aus Existenz und Allq.
      • abgeschlossene Klassen