• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Adapt OWL as a Modular Ontology Language
 

Adapt OWL as a Modular Ontology Language

on

  • 1,794 views

 

Statistics

Views

Total Views
1,794
Views on SlideShare
1,794
Embed Views
0

Actions

Likes
2
Downloads
29
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Adapt OWL as a Modular Ontology Language Adapt OWL as a Modular Ontology Language Presentation Transcript

    • Adapt OWL as a Modular Ontology Language (A Position Paper) Jie Bao and Vasant Honavar Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA. {baojie, honavar}@cs.iastate.edu
      • Why OWL has weak modularity ?
    • (Global) Semantics
      • owl:imports allows only global semantics
        • For any OWL ontology O and an abstract OWL interpretation I of O , “ I satisfies each ontology mentioned in an owl:imports annotation directive of O " (OWL Semantics and Abstract Syntax: Section 3. Direct Model-Theoretic Semantics)
      • No semantic modularity
        • Lack of support for localized semantics (loss of contexts)
        • Lack of support for partial reuse of ontology (all or nothing)
        • owl:imports = copy + paste
    • (Spaghetti) Syntax
      • < owl:Class rdf:ID =&quot; Cat &quot;>
      • < rdfs:subClassOf >
      • < owl:Restriction >
      • < owl:onProperty >
      • < owl:ObjectProperty rdf:ID =&quot; loves &quot;/>
      • </ owl:onProperty >
      • < owl:someValuesFrom >
      • < owl:Class rdf:ID =&quot; Fish &quot;/>
      • </ owl:someValuesFrom >
      • </ owl:Restriction >
      • </ rdfs:subClassOf >
      • </ owl:Class >
      • < owl:Class rdf:ID =&quot; CatFish &quot;>
      • < rdfs:subClassOf rdf:resource =&quot; #Fish &quot;/>
      • </ owl:Class >
      • Adapt OWL with strong modularity
      Old Bottle (Syntax, Disciplined) New Wine (Semantics, Localized)
    • Semantic Modularity
      • Give owl:imports a new modular semantics
      x C I O 1 owl:imports 1:C 1:C O 2 Δ 1 Δ 2
      • Best backward tool compatibility: Jena Parser, Protégé...
      • Axioms are localized for free – “damage” from combination controlled
      • Distributed reasoning supported [Bao etal, WI 2006]
    • Syntactical Modularity
      • <owl:Class rdf:ID=&quot; Cat &quot;>
      • <rdfs:subClassOf>
      • <owl:Restriction>
      • <owl:someValuesFrom>
      • <owl:Class rdf:resource=&quot; #Fish &quot;/>
      • </owl:someValuesFrom>
      • </owl:Restriction>
      • </rdfs:subClassOf>
      • </owl:Class>
      • < owl:Class rdf:ID =&quot; Fish &quot;>
      • < owl:Class rdf:ID =&quot; CatFish &quot;>
      • < rdfs:subClassOf rdf:resource =&quot; #Fish &quot;/>
      • </ owl:Class >
      • Explicit declaration of names required
      • No nested declaration (unless for anonymous classes)
      • Related Work
    • Related Solutions – Semantic Aspect
      • New Semantics: localized semantics
        • Each ontology module has local interpretation domain .
        • DDL [Borgida and Serafini, CoopIS2002] , E-connections [Grau, Dissertation 2005] , P-DL [Bao et al, ISWC 2006], Semantic Importing [Pan et al, WoMo 2006]
      • Keep Old Semantics: localized axioms
        • Axioms in ontologies only has local effects [Grau et al, KR2006, DL2006, IJCAI 2007]
        • Based on the notion of conservative extension : ontologies can be combined without “damaging” each other
        • Global semantics (thus some owl:imports problems) remains
    • Related Solutions – Syntactical Aspect
      • New Syntax
        • C-OWL [Bouquet et al, ISWC 2003] E-Connections [Grau et al ISWC 2004]
        • Ontology tools need updating: editors, parsers, reasoners
        • Can be modeled using (the redefined) owl:imports
      • Keep Old Syntax
        • Locality and conservative extension [Grau and Kutz, Swecka 2007]
      • Questions?
    • References
      • Localized semantics school
      • A. Borgida and L. Serafini. Distributed description logics: Directed domain correspondences in federated information sources. InCoopIS/DOA/ODBASE, pages 36-53, 2002.
      • Grau, B.C. Combination and Integration of Ontologies on the Semantic Web . PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain, 2005.Bao, J.; Caragea, D.; and Honavar, V. (2006) On the semantics of linking and importing in modular ontologies. In I. Cruz et al. (Eds.): ISWC 2006, LNCS 4273 . 72–86.
      • Bao, J.; Caragea, D.; and Honavar, V. (2006) On the semantics of linking and importing in modular ontologies. In I. Cruz et al. (Eds.): ISWC 2006, LNCS 4273 . 72–86.
      • Localized axioms school
      • Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modular integration of ontologies. In: IJCAI. (2007) To Appear
      • Grau, B.C., Horrocks, I., Kutz, O., Sattler, U.: Will my ontologies fit together? In: Proc. of the 2006 Description Logic Workshop (DL 2006). Volume 189.,