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,...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | en |
| Published: |
Penerbit UTM Press
2008
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/11027/1/RobertMColomb2008_PropertyCompositionAndOtherConstructs.pdf http://eprints.utm.my/11027/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1845472512263061504 |
|---|---|
| author | M. Colomb, Robert |
| author_facet | M. Colomb, Robert |
| author_sort | M. Colomb, Robert |
| building | UTM Library |
| collection | Institutional Repository |
| content_provider | Universiti Teknologi Malaysia |
| content_source | UTM Institutional Repository |
| continent | Asia |
| country | Malaysia |
| 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. |
| format | Article |
| id | my.utm.eprints-11027 |
| institution | Universiti Teknologi Malaysia |
| language | en |
| publishDate | 2008 |
| publisher | Penerbit UTM Press |
| record_format | eprints |
| spelling | my.utm.eprints-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/1/RobertMColomb2008_PropertyCompositionAndOtherConstructs.pdf http://eprints.utm.my/11027/ |
| url_provider | http://eprints.utm.my/ |