#
# Copyright World Wide Web Consortium, (Massachusetts Institute of
# Technology, European Research Consortium for Informatics and
# Mathematics, Keio University).
#
# All Rights Reserved.
#
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
# Author: Jos De Roo
#
# Description: 
#
# A property with maximum cardinality of two cannot take
# three distinct values on some subject node.
#
_:a rdf:type owl:Restriction .
_:a owl:maxCardinality "2"^^xsd:nonNegativeInteger  .
_:a owl:onProperty first:prop .
first:sb1 rdf:type _:a .
first:sb1 first:prop first:ob1 .
first:sb1 first:prop first:ob2 .
first:sb1 first:prop first:ob3 .
first:ob1 owl:differentIndividualFrom first:ob2 .
first:ob1 owl:differentIndividualFrom first:ob3 .
first:ob2 owl:differentIndividualFrom first:ob3 .
first:prop rdf:type owl:ObjectProperty .