#
# 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: 
#
# If the range of <code>prop</code> is a singleton set then it is necessarily functional, (i.e. every member of its domain
# has a single value) and so it is an <code>owl:FunctionalProperty</code>.
#
first:prop rdf:type owl:ObjectProperty .
first:prop rdfs:range first:Singleton .
first:Singleton rdf:type rdfs:Class .
_:a rdf:first _:b .
_:a rdf:rest rdf:nil .
_:a rdf:type rdf:List .
first:Singleton owl:oneOf _:a .