# CMSC 691M - Assignment #3
# Spring 2007 - Finin

# miniowl.n3
# the smallest subset of OWL rules needed to infer all my family facts.
#   when I included all the OWL rules the cwm never finished thinking,
#   (or at least didn't finish for a long time).

@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.

### Web Ontology Language OWL -- very lite version

owl:ObjectProperty rdfs:subClassOf rdf:Property.
owl:SymmetricProperty rdfs:subClassOf owl:ObjectProperty.
owl:TransitiveProperty rdfs:subClassOf owl:ObjectProperty.
owl:inverseOf rdfs:domain owl:ObjectProperty; rdfs:range owl:ObjectProperty; a owl:SymmetricProperty.

{?P @has owl:inverseOf ?Q. ?S ?P ?O} => {?O ?Q ?S}.
{?P @has rdf:type owl:SymmetricProperty. ?S ?P ?O} => {?O ?P ?S}.
{?P @has rdf:type owl:TransitiveProperty. ?X ?P ?O. ?S ?P ?X} => {?S ?P ?O}.