INCA Ontology
type: Ontology
description: This model stores the insertion of INCA Concepts to the AKT Reference Ontology
creator: AKT Project
creator: Jessica Chen-Burger
creator: Nick Gibbins (OWL translation)
creator: Stephen Potter (OWL revision)
created: 2003-02-10
source: top-level.html
version info: 0.1
imports: support
imports: portal

INCA Specification
type: Class
comment: INCA specification of a synthesised thing
subclass of: Abstract-Information

Issue
type: Class
subclass of: Abstract-Information

Constraint
type: Class
comment: This differs from the specification given in the source since the OWL definition of the AKT support ontology does not contain the class Relation (which is considered to belong to the meta-model). Instead, we make Constraint a subclass of Thing, the most general class. (Note that we could have made Constraint be a subclass of one of the OWL Property types, but this might overly constrain it or entail undesirable semantical commitments.)
subclass of: Thing

INCA Object
type: Class
comment: This is an INCA specification expressed (or embodied) in some tangible entity.
subclass of: Information-Bearing-Object
comment: Has exactly one INCA-specification.
subclass of: Restriction
  on property: has-inca-specification
  cardinality: 1

has-node
type: ObjectProperty
comment: Note the range: any individual in the domain of discourse can be a node.
domain: INCA Specification
range: Thing

has-annotation
type: ObjectProperty
comment: Implicitly states that an annotation is abstract information (without specifying how this is represented).
domain: INCA Specification
range: Abstract-Information

has-inca-specification
type: ObjectProperty
comment: Note this is a functional property: any INCA-Object can have at most one INCA-Specification.
type: FunctionalProperty
domain: INCA Object
range: INCA Specification