| <?xml version="1.0"?> |
| <!-- |
| 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. |
| --> |
| |
| |
| <!DOCTYPE Ontology [ |
| <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > |
| <!ENTITY xml "http://www.w3.org/XML/1998/namespace" > |
| <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > |
| <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" > |
| ]> |
| |
| |
| <Ontology xmlns="http://www.w3.org/2002/07/owl#" |
| xml:base="http://www.semanticweb.org/ontologies/2010/6/ProvaParent.owl" |
| xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" |
| xmlns:xsd="http://www.w3.org/2001/XMLSchema#" |
| xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" |
| xmlns:xml="http://www.w3.org/XML/1998/namespace" |
| ontologyIRI="http://www.semanticweb.org/ontologies/2010/6/ProvaParent.owl"> |
| <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/> |
| <Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/> |
| <Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/> |
| <Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/> |
| <DLSafeRule> |
| <Annotation> |
| <AnnotationProperty IRI="http://www.semanticweb.org/owlapi#iri"/> |
| <Literal><http://www.semanticweb.org/ontologies/2010/6/ProvaParent.owl#Uncle-Rule></Literal> |
| </Annotation> |
| <Body> |
| <ObjectPropertyAtom> |
| <ObjectProperty IRI="#hasBrother"/> |
| <Variable IRI="#y"/> |
| <Variable IRI="#z"/> |
| </ObjectPropertyAtom> |
| <ObjectPropertyAtom> |
| <ObjectProperty IRI="#hasParent"/> |
| <Variable IRI="#x"/> |
| <Variable IRI="#y"/> |
| </ObjectPropertyAtom> |
| </Body> |
| <Head> |
| <ObjectPropertyAtom> |
| <ObjectProperty IRI="#hasUncle"/> |
| <Variable IRI="#x"/> |
| <Variable IRI="#z"/> |
| </ObjectPropertyAtom> |
| </Head> |
| </DLSafeRule> |
| </Ontology> |
| |
| |
| |
| <!-- Generated by the OWL API (version 3.0.0.1451) http://owlapi.sourceforge.net --> |
| |
