Property composition and other constructs to support identity in OWL
This paper presents proposals for augmenting OWL Full with constructs necessary for supporting identity, an essential facility for ontologies governing interoperating information systems. These constructs include declaration that a property is one-to-one, a representation of the image of a property,...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Penerbit UTM Press
2008
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/11027/ http://eprints.utm.my/11027/1/RobertMColomb2008_PropertyCompositionAndOtherConstructs.pdf |
| _version_ | 1848892239316516864 |
|---|---|
| author | M. Colomb, Robert |
| author_facet | M. Colomb, Robert |
| author_sort | M. Colomb, Robert |
| building | UTeM Institutional Repository |
| collection | Online Access |
| description | This paper presents proposals for augmenting OWL Full with constructs necessary for supporting identity, an essential facility for ontologies governing interoperating information systems. These constructs include declaration that a property is one-to-one, a representation of the image of a property, and composition of properties. Using definitions from Category theory, property composition allows definition of Cartesian product without requiring that an individual have any internal structure. Category theory-style definitions and reasoning work entirely with properties, therefore are not affected by the open world semantics of OWL. The definitions permit representation of n-ary relations, association classes, parameterised families of properties and indexed families of classes. |
| first_indexed | 2025-11-15T21:10:42Z |
| format | Article |
| id | utm-11027 |
| institution | Universiti Teknologi Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T21:10:42Z |
| publishDate | 2008 |
| publisher | Penerbit UTM Press |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | utm-110272017-11-01T04:17:22Z http://eprints.utm.my/11027/ Property composition and other constructs to support identity in OWL M. Colomb, Robert QA75 Electronic computers. Computer science This paper presents proposals for augmenting OWL Full with constructs necessary for supporting identity, an essential facility for ontologies governing interoperating information systems. These constructs include declaration that a property is one-to-one, a representation of the image of a property, and composition of properties. Using definitions from Category theory, property composition allows definition of Cartesian product without requiring that an individual have any internal structure. Category theory-style definitions and reasoning work entirely with properties, therefore are not affected by the open world semantics of OWL. The definitions permit representation of n-ary relations, association classes, parameterised families of properties and indexed families of classes. Penerbit UTM Press 2008-12 Article PeerReviewed application/pdf en http://eprints.utm.my/11027/1/RobertMColomb2008_PropertyCompositionAndOtherConstructs.pdf M. Colomb, Robert (2008) Property composition and other constructs to support identity in OWL. Jurnal Teknologi Maklumat, 20 (4). pp. 43-62. ISSN 0128-3790 |
| spellingShingle | QA75 Electronic computers. Computer science M. Colomb, Robert Property composition and other constructs to support identity in OWL |
| title | Property composition and other constructs to support identity in OWL |
| title_full | Property composition and other constructs to support identity in OWL |
| title_fullStr | Property composition and other constructs to support identity in OWL |
| title_full_unstemmed | Property composition and other constructs to support identity in OWL |
| title_short | Property composition and other constructs to support identity in OWL |
| title_sort | property composition and other constructs to support identity in owl |
| topic | QA75 Electronic computers. Computer science |
| url | http://eprints.utm.my/11027/ http://eprints.utm.my/11027/1/RobertMColomb2008_PropertyCompositionAndOtherConstructs.pdf |