# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements.  See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership.  The ASF licenses this file
# to you under the Apache License, Version 2.0 (the
# "License"); you may not use this file except in compliance
# with the License.  You may obtain a copy of the License at
#
#   http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing,
# software distributed under the License is distributed on an
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
# KIND, either express or implied.  See the License for the
# specific language governing permissions and limitations
# under the License.

# Expresses a fragment of the LUBM ontology in a mixture of OWL and SPIN

@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix lubm: <http://swat.cse.lehigh.edu/onto/univ-bench.owl#> .
@prefix spin: <http://spinrdf.org/spin#> .
@prefix sp: <http://spinrdf.org/sp#> .
@prefix lr: <http://example.org/LUBM/> .

lubm:Person spin:rule lr:department-head-is-chair .
lr:department-head-is-chair a sp:Construct ;
    sp:text """
        PREFIX lubm: <http://swat.cse.lehigh.edu/onto/univ-bench.owl#>
        CONSTRUCT {
            ?this a lubm:Chair .
        }
        WHERE {
            ?this lubm:headOf [ a lubm:Department ] .
        }
    """ .

lubm:Organization spin:rule lr:suborganization-transitivity .
lr:suborganization-transitivity a sp:Construct ;
    sp:text """
        PREFIX lubm: <http://swat.cse.lehigh.edu/onto/univ-bench.owl#>
        CONSTRUCT {
            ?this lubm:subOrganizationOf ?parent .
        }
        WHERE {
            ?this lubm:subOrganizationOf ?child .
            ?child lubm:subOrganizationOf ?parent .
        }
    """ .

lubm:Professor rdfs:subClassOf lubm:Faculty .
lubm:Faculty rdfs:subClassOf lubm:Person .

lubm:worksFor rdfs:range lubm:Organization .
lubm:headOf rdfs:subPropertyOf lubm:worksFor .