#
# 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: Jeremy J. Carroll
#
# Description: 
#
# An <code>owl:cardinality</code> constraint is simply shorthand for a pair of <code>owl:minCardinality</code> and <code>owl:maxCardinality</code> constraints.
#
first:c rdf:type owl:Restriction .
first:c owl:onProperty first:p .
first:c owl:cardinality "1"^^xsd:nonNegativeInteger  .