gate.creole.ontology
Interface FunctionalProperty

All Superinterfaces:
Property

public interface FunctionalProperty
extends Property

A property, P, is tagged as functional if it satisfies the following axiom: P(x, y) and P(x, z) -> y = z. The range of a functional property can be both an object (as in DatatypeProperty) and KBClass (as in ObjectProperty).


Method Summary
 Object getRange()
           
 
Methods inherited from interface gate.creole.ontology.Property
getDomain, getName, getOntology, getSamePropertyAs, getSubPropertyOf, getURI, isValueCompatible, setSamePropertyAs, setSubPropertyOf, setURI
 

Method Detail

getRange

public Object getRange()
Specified by:
getRange in interface Property