#
# 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 <code>p</code> and <code>q</code> have the same property extension then they <code>p</code> <code>samePropertyAs</code> <code>q</code>.
#
first:p rdf:type owl:ObjectProperty .
first:p rdfs:domain first:d .
first:q rdf:type owl:ObjectProperty .
first:q rdfs:domain first:d .
first:q rdf:type owl:FunctionalProperty .
first:p rdf:type owl:FunctionalProperty .
first:v rdf:type owl:Thing .
first:d rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:hasValue first:v .
_:b rdf:first _:a .
_:b rdf:rest rdf:nil .
_:b rdf:type rdf:List .
_:c owl:intersectionOf _:b .
first:d owl:sameClassAs _:c .
_:d rdf:type owl:Restriction .
_:d owl:onProperty first:q .
_:d owl:hasValue first:v .
_:e rdf:first _:d .
_:e rdf:rest rdf:nil .
_:e rdf:type rdf:List .
_:f owl:intersectionOf _:e .
first:d owl:sameClassAs _:f .