C-OWL: Contextualizing Ontologies

Ontologies are shared models of a domain that encode a view which is common to a set of different parties. Contexts are local models that encode a party's subjective view of a domain. In this paper we show how ontologies can be contextualized, thus acquiring certain useful properties that a pure shared approach cannot provide. We say that an ontology is contextualized or, also, that it is a contextual ontology, when its contents are kept local, and therefore not shared with other ontologies, and mapped with the contents of other ontologies via explicit (context) mappings. The result is Context OWL (C-OWL), a language whose syntax and semantics have been obtained by extending the OWL syntax and semantics to allow for the representation of contextual ontologies.

[1]  Luciano Serafini,et al.  ConTeXtualized local ontology specification via CTXML , 2002, AAAI 2002.

[2]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[3]  Luciano Serafini,et al.  Context matching for electronic marketplaces: a case study , 2003, Knowl. Eng. Rev..

[4]  Paolo Bouquet,et al.  KEEx: A Peer-to-Peer Solution for Distributed Knowledge Management , 2002, P2PKM.

[5]  Luciano Serafini,et al.  A SAT-Based Algorithm for Context Matching , 2003, CONTEXT.

[6]  Patrick Brézillon,et al.  Modeling and Using Context , 1999, Lecture Notes in Computer Science.

[7]  Michael R. Genesereth,et al.  Infomaster: an information integration system , 1997, SIGMOD '97.

[8]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[9]  Dieter Fensel,et al.  Towards the Semantic Web: Ontology-driven Knowledge Management , 2002 .

[10]  Fausto Giunchiglia,et al.  Local Relational Model: A Logical Formalization of Database Coordination , 2003, CONTEXT.

[11]  Fausto Giunchiglia,et al.  Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination , 2002, CIA.

[12]  Alexander Borgida,et al.  Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources , 2002, OTM.

[13]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.

[14]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.