Adapt OWL as a Modular Ontology Language
Upcoming SlideShare
Loading in...5
×
 

Adapt OWL as a Modular Ontology Language

on

  • 1,912 views

 

Statistics

Views

Total Views
1,912
Views on SlideShare
1,912
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.,