| # 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 . |