[tracker/optional: 2/5] NCO: Mark nco:phoneNumber as inverse functional property



commit a92610703b6a84c0646b3f31e5877247c84c9af2
Author: Jürg Billeter <j bitron ch>
Date:   Tue Nov 3 12:54:31 2009 +0100

    NCO: Mark nco:phoneNumber as inverse functional property

 data/ontologies/32-nco.ontology |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/ontologies/32-nco.ontology b/data/ontologies/32-nco.ontology
index 57e975e..26eec0b 100644
--- a/data/ontologies/32-nco.ontology
+++ b/data/ontologies/32-nco.ontology
@@ -319,6 +319,7 @@ nco:hasLocation a rdf:Property ;
 	rdfs:range rdfs:Resource .
 
 nco:phoneNumber a rdf:Property ;
+	a nrl:InverseFunctionalProperty ;
 	rdfs:label "phoneNumber" ;
 	nrl:maxCardinality 1 ;
 	rdfs:domain nco:PhoneNumber ;



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]