A Logical Framework for Modularity of Ontologies.
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion of modularity needs to take the semantics of ontologies and their implications into account. We prop...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2007
|
| _version_ | 1826261771398152192 |
|---|---|
| author | Grau, B Horrocks, I Kazakov, Y Sattler, U |
| author_facet | Grau, B Horrocks, I Kazakov, Y Sattler, U |
| author_sort | Grau, B |
| collection | OXFORD |
| description | Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion of modularity needs to take the semantics of ontologies and their implications into account. We propose a logic-based notion of modularity that allows the modeler to specify the external signature of their ontology, whose symbols are assumed to be defined in some other ontology. We define two restrictions on the usage of the external signature, a syntactic and a slightly less restrictive, semantic one, each of which is decidable and guarantees a certain kind of \"black-box\" behavior, which enables the controlled merging of ontologies. Analysis of real-world ontologies suggests that these restrictions are not too onerous. |
| first_indexed | 2024-03-06T19:25:54Z |
| format | Conference item |
| id | oxford-uuid:1bb0f342-c43b-4174-b82b-b8e011cd927f |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:25:54Z |
| publishDate | 2007 |
| record_format | dspace |
| spelling | oxford-uuid:1bb0f342-c43b-4174-b82b-b8e011cd927f2022-03-26T11:01:48ZA Logical Framework for Modularity of Ontologies.Conference itemhttp://purl.org/coar/resource_type/c_5794uuid:1bb0f342-c43b-4174-b82b-b8e011cd927fDepartment of Computer Science2007Grau, BHorrocks, IKazakov, YSattler, UModularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion of modularity needs to take the semantics of ontologies and their implications into account. We propose a logic-based notion of modularity that allows the modeler to specify the external signature of their ontology, whose symbols are assumed to be defined in some other ontology. We define two restrictions on the usage of the external signature, a syntactic and a slightly less restrictive, semantic one, each of which is decidable and guarantees a certain kind of \"black-box\" behavior, which enables the controlled merging of ontologies. Analysis of real-world ontologies suggests that these restrictions are not too onerous. |
| spellingShingle | Grau, B Horrocks, I Kazakov, Y Sattler, U A Logical Framework for Modularity of Ontologies. |
| title | A Logical Framework for Modularity of Ontologies. |
| title_full | A Logical Framework for Modularity of Ontologies. |
| title_fullStr | A Logical Framework for Modularity of Ontologies. |
| title_full_unstemmed | A Logical Framework for Modularity of Ontologies. |
| title_short | A Logical Framework for Modularity of Ontologies. |
| title_sort | logical framework for modularity of ontologies |
| work_keys_str_mv | AT graub alogicalframeworkformodularityofontologies AT horrocksi alogicalframeworkformodularityofontologies AT kazakovy alogicalframeworkformodularityofontologies AT sattleru alogicalframeworkformodularityofontologies AT graub logicalframeworkformodularityofontologies AT horrocksi logicalframeworkformodularityofontologies AT kazakovy logicalframeworkformodularityofontologies AT sattleru logicalframeworkformodularityofontologies |