Universiti Teknologi Malaysia Institutional Repository

Property composition and other constructs to support identity in OWL

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

[img]
Preview
PDF - Published Version
1191Kb

Abstract

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.

Item Type:Article
Additional Information:Special issue in artificial intelligence
Uncontrolled Keywords:OWL, information systems interoperation, ontology
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:11027
Deposited By: Ms Zalinda Shuratman
Deposited On:19 Nov 2010 10:11
Last Modified:19 Nov 2010 10:11

Repository Staff Only: item control page