@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.w3.org/2003/11/swrl> a owl:Ontology;
  rdfs:comment "OWL definition of the RDF Concrete Syntax for the Semantic Web Rule Language";
  owl:versionInfo "$Id: swrl.owl,v 1.1 2004/05/21 18:46:39 vivien Exp $" .

<http://www.w3.org/2003/11/swrl#Imp> a owl:Class;
  rdfs:comment "implication (rule)";
  rdfs:subClassOf _:113d0c, _:113d1c, _:113d2c, _:113d3c .

_:113d0c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#head>;
  owl:allValuesFrom <http://www.w3.org/2003/11/swrl#AtomList> .

_:113d1c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#head>;
  owl:maxCardinality "1" .

_:113d2c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#body>;
  owl:allValuesFrom <http://www.w3.org/2003/11/swrl#AtomList> .

_:113d3c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#body>;
  owl:maxCardinality "1" .

<http://www.w3.org/2003/11/swrl#head> a owl:ObjectProperty;
  rdfs:comment "rule head (consequent):  List of Atom" .

<http://www.w3.org/2003/11/swrl#body> a owl:ObjectProperty;
  rdfs:comment "rule body (antecedent):  List of Atom" .

<http://www.w3.org/2003/11/swrl#Variable> a owl:Class;
  rdfs:comment "indicate that a URI is being used as a variable" .

<http://www.w3.org/2003/11/swrl#Atom> a owl:Class;
  rdfs:comment "common superclass" .

<http://www.w3.org/2003/11/swrl#AtomList> a owl:Class;
  rdfs:subClassOf rdf:List, _:113d4c, _:113d5c, _:113d6c, _:113d7c .

_:113d4c a owl:Restriction;
  owl:onProperty rdf:first;
  owl:allValuesFrom <http://www.w3.org/2003/11/swrl#Atom> .

_:113d5c a owl:Restriction;
  owl:onProperty rdf:first;
  owl:cardinality "1" .

_:113d6c a owl:Restriction;
  owl:onProperty rdf:rest;
  owl:allValuesFrom <http://www.w3.org/2003/11/swrl#AtomList> .

_:113d7c a owl:Restriction;
  owl:onProperty rdf:rest;
  owl:cardinality "1" .

rdf:nil a <http://www.w3.org/2003/11/swrl#AtomList> .

<http://www.w3.org/2003/11/swrl#argument1> a owl:ObjectProperty .

<http://www.w3.org/2003/11/swrl#argument2> a rdf:Property;
  rdfs:comment "can be a Literal or Resource" .

<http://www.w3.org/2003/11/swrl#ClassAtom> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2003/11/swrl#Atom>, _:113d8c, _:113d9c, _:113dac,
    _:113dbc;
  rdfs:comment "consists of a classPredicate and argument1" .

_:113d8c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#classPredicate>;
  owl:allValuesFrom rdfs:Class .

_:113d9c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#classPredicate>;
  owl:cardinality "1" .

_:113dac a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:allValuesFrom owl:Thing .

_:113dbc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:cardinality "1" .

<http://www.w3.org/2003/11/swrl#classPredicate> a owl:ObjectProperty .

<http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2003/11/swrl#Atom>, _:113dcc, _:113ddc, _:113dec,
    _:113dfc, _:113e0c, _:113e1c;
  rdfs:comment "consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing)" .

_:113dcc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#propertyPredicate>;
  owl:allValuesFrom owl:ObjectProperty .

_:113ddc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#propertyPredicate>;
  owl:cardinality "1" .

_:113dec a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:allValuesFrom owl:Thing .

_:113dfc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:cardinality "1" .

_:113e0c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:allValuesFrom owl:Thing .

_:113e1c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:cardinality "1" .

<http://www.w3.org/2003/11/swrl#propertyPredicate> a owl:ObjectProperty .

<http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2003/11/swrl#Atom>, _:113e2c, _:113e3c, _:113e4c,
    _:113e5c, _:113e6c, _:113e7c;
  rdfs:comment "consists of a propertyPredicate (owl:DatatypeProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal)" .

_:113e2c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#propertyPredicate>;
  owl:allValuesFrom owl:DatatypeProperty .

_:113e3c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#propertyPredicate>;
  owl:cardinality "1" .

_:113e4c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:allValuesFrom owl:Thing .

_:113e5c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:cardinality "1" .

_:113e6c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:allValuesFrom rdfs:Literal .

_:113e7c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:cardinality "1" .

<http://www.w3.org/2003/11/swrl#SameIndividualAtom> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2003/11/swrl#Atom>, _:113e8c, _:113e9c, _:113eac,
    _:113ebc;
  rdfs:comment "consists of argument1 (owl:Thing) and argument2 (owl:Thing)" .

_:113e8c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:allValuesFrom owl:Thing .

_:113e9c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:cardinality "1" .

_:113eac a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:allValuesFrom owl:Thing .

_:113ebc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:cardinality "1" .

<http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2003/11/swrl#Atom>, _:113ecc, _:113edc, _:113eec,
    _:113efc;
  rdfs:comment "consists of argument1 (owl:Thing) and argument2 (owl:Thing)" .

_:113ecc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:allValuesFrom owl:Thing .

_:113edc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:cardinality "1" .

_:113eec a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:allValuesFrom owl:Thing .

_:113efc a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument2>;
  owl:cardinality "1" .

<http://www.w3.org/2003/11/swrl#BuiltinAtom> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2003/11/swrl#Atom>, _:113f0c, _:113f1c, _:113f2c,
    _:113f3c;
  rdfs:comment "consists of a builtin and a List of arguments" .

_:113f0c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#builtin>;
  owl:allValuesFrom <http://www.w3.org/2003/11/swrl#Builtin> .

_:113f1c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#builtin>;
  owl:cardinality "1" .

_:113f2c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#arguments>;
  owl:allValuesFrom rdf:List .

_:113f3c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#arguments>;
  owl:cardinality "1" .

<http://www.w3.org/2003/11/swrl#Builtin> a owl:Class .

<http://www.w3.org/2003/11/swrl#builtin> a owl:ObjectProperty .

<http://www.w3.org/2003/11/swrl#arguments> a owl:ObjectProperty .

<http://www.w3.org/2003/11/swrl#DataRangeAtom> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/2003/11/swrl#Atom>, _:113f4c, _:113f5c, _:113f6c,
    _:113f7c;
  rdfs:comment "consists of a dataRange and argument1" .

_:113f4c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#dataRange>;
  owl:allValuesFrom owl:DataRange .

_:113f5c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#dataRange>;
  owl:cardinality "1" .

_:113f6c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:allValuesFrom owl:Thing .

_:113f7c a owl:Restriction;
  owl:onProperty <http://www.w3.org/2003/11/swrl#argument1>;
  owl:cardinality "1" .

<http://www.w3.org/2003/11/swrl#dataRange> a owl:ObjectProperty .