Added: incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/example.owl URL: http://svn.apache.org/viewvc/incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/example.owl?rev=1159764&view=auto ============================================================================== --- incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/example.owl (added) +++ incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/example.owl Fri Aug 19 19:58:28 2011 @@ -0,0 +1,724 @@ +Prefix: tbox: <http://swrl.stanford.edu/ontologies/built-ins/3.3/tbox.owl#> +Prefix: query: <http://swrl.stanford.edu/ontologies/built-ins/3.3/query.owl#> +Prefix: xml: <http://www.w3.org/XML/1998/namespace> +Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> +Prefix: swrl: <http://www.w3.org/2003/11/swrl#> +Prefix: swlrx: <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#> +Prefix: swrla: <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#> +Prefix: xsd: <http://www.w3.org/2001/XMLSchema#> +Prefix: swrlb: <http://www.w3.org/2003/11/swrlb#> +Prefix: owl: <http://www.w3.org/2002/07/owl#> +Prefix: abox: <http://swrl.stanford.edu/ontologies/built-ins/3.3/abox.owl#> +Prefix: temporal: <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#> +Prefix: : <http://a.com/ontology#> +Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#> + + + +Ontology: <http://a.com/ontology> + +Import: <http://www.w3.org/2003/11/swrl> +Import: <http://swrl.stanford.edu/ontologies/3.3/swrla.owl> +Import: <http://swrl.stanford.edu/ontologies/built-ins/3.3/abox.owl> +Import: <http://swrl.stanford.edu/ontologies/built-ins/3.3/tbox.owl> +Import: <http://www.w3.org/2003/11/swrlb> +Import: <http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl> +Import: <http://swrl.stanford.edu/ontologies/built-ins/3.3/query.owl> +Import: <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl> + +AnnotationProperty: swrla:isRuleEnabled + + +AnnotationProperty: swrl:propertyPredicate + + +AnnotationProperty: swrl:argument1 + + +Datatype: xsd:boolean + + +ObjectProperty: hasDaughter + + SubPropertyOf: + hasChild + + Domain: + Person + + Range: + Woman + + Rule: + Person(?<http://a.com/ontology#x>), Woman(?<http://a.com/ontology#y>), hasChild(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasDaughter(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + + +ObjectProperty: hasFather + + SubPropertyOf: + hasParent + + Characteristics: + Functional + + Domain: + Person + + Range: + Man + + Rule: + Man(?<http://a.com/ontology#y>), Person(?<http://a.com/ontology#x>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasFather(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + + +ObjectProperty: hasUncle + + Domain: + Person + + Range: + Man + + Rule: + Person(?<http://a.com/ontology#x>), hasBrother(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasUncle(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + + +ObjectProperty: hasConsort + + Characteristics: + Symmetric, + Functional + + Domain: + Person + + Range: + Person + + +ObjectProperty: hasNiece + + Domain: + Person + + Range: + Woman + + Rule: + Person(?<http://a.com/ontology#x>), hasDaughter(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasNiece(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + + +ObjectProperty: hasBrother + + SubPropertyOf: + hasSibling + + Domain: + Person + + Range: + Man + + Rule: + Man(?<http://a.com/ontology#y>), Person(?<http://a.com/ontology#x>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasBrother(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + + +ObjectProperty: hasAunt + + Domain: + Person + + Range: + Woman + + Rule: + Person(?<http://a.com/ontology#x>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>), hasSister(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>) -> hasAunt(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + + +ObjectProperty: hasMother + + SubPropertyOf: + hasParent + + Characteristics: + Functional + + Domain: + Person + + Range: + Woman + + Rule: + Person(?<http://a.com/ontology#x>), Woman(?<http://a.com/ontology#y>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasMother(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + + +ObjectProperty: hasNephew + + Domain: + Person + + Range: + Man + + Rule: + Person(?<http://a.com/ontology#x>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>), hasSon(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>) -> hasNephew(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + + +ObjectProperty: swrl:argument2 + + +ObjectProperty: hasSon + + SubPropertyOf: + hasChild + + Domain: + Person + + Range: + Man + + Rule: + Man(?<http://a.com/ontology#y>), Person(?<http://a.com/ontology#x>), hasChild(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasSon(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + + +ObjectProperty: hasSibling + + Characteristics: + Symmetric + + Domain: + Person + + Range: + Person + + Rule: + Person(?<http://a.com/ontology#y>), hasChild(?<http://a.com/ontology#y>, ?<http://a.com/ontology#x>), hasChild(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), DifferentFrom (?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) -> hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + + +ObjectProperty: hasParent + + Domain: + Person + + Range: + Person + + InverseOf: + hasChild + + Rule: + Person(?<http://a.com/ontology#y>), hasConsort(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + + +ObjectProperty: hasSister + + SubPropertyOf: + hasSibling + + Domain: + Person + + Range: + Woman + + Rule: + Person(?<http://a.com/ontology#x>), Woman(?<http://a.com/ontology#y>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasSister(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + + +ObjectProperty: hasChild + + Domain: + Person + + Range: + Person + + InverseOf: + hasParent + + +ObjectProperty: hasSex + + Characteristics: + Functional + + Domain: + Person + + Range: + Gender + + +Class: owl:Thing + + +Class: Aunt + + EquivalentTo: + Woman + and ((hasNephew min 1 owl:Thing) + or (hasNiece min 1 owl:Thing)) + + SubClassOf: + Relative + + DisjointWith: + Uncle + + +Class: Nephew + + EquivalentTo: + Man + and ((hasAunt min 1 owl:Thing) + or (hasUncle min 1 owl:Thing)) + + SubClassOf: + hasSex value Male, + Relative + + DisjointWith: + Niece + + +Class: Uncle + + EquivalentTo: + Man + and ((hasNephew min 1 owl:Thing) + or (hasNiece min 1 owl:Thing)) + + SubClassOf: + hasSex value Male, + Relative + + DisjointWith: + Aunt + + +Class: Sister + + EquivalentTo: + Sibling + and Woman + + DisjointWith: + Brother + + +Class: Woman + + EquivalentTo: + Person + and (hasSex value Female) + + +Class: Father + + EquivalentTo: + Man + and Parent + + +Class: Niece + + EquivalentTo: + Woman + and ((hasAunt min 1 owl:Thing) + or (hasUncle min 1 owl:Thing)) + + SubClassOf: + hasSex value Female, + Relative + + DisjointWith: + Nephew + + +Class: Child + + EquivalentTo: + Person + and (hasParent min 1 owl:Thing) + + +Class: Mother + + EquivalentTo: + Parent + and Woman + + +Class: Person + + EquivalentTo: + Man + or Woman + + +Class: Daugther + + EquivalentTo: + Child + and Woman + + DisjointWith: + Son + + +Class: Sibling + + EquivalentTo: + Person + and (hasSibling min 1 owl:Thing) + + +Class: Brother + + EquivalentTo: + Man + and Sibling + + DisjointWith: + Sister + + +Class: Man + + EquivalentTo: + Person + and (hasSex value Male) + + +Class: Parent + + EquivalentTo: + Person + and (hasChild min 1 owl:Thing) + + +Class: Relative + + EquivalentTo: + Aunt + or Child + or Nephew + or Niece + or Parent + or Sibling + or Uncle + + SubClassOf: + Person + + +Class: Son + + EquivalentTo: + Child + and Man + + DisjointWith: + Daugther + + +Class: Gender + + EquivalentTo: + {Female , Male} + + +Individual: M10 + + Types: + Man + + Facts: + hasMother F06, + hasParent M08, + hasSex Male + + +Individual: z + + +Individual: F10 + + Types: + Woman + + Facts: + hasSex Female, + hasChild M09 + + +Individual: M05 + + Types: + Man + + Facts: + hasSex Male, + hasParent M02, + hasParent F04 + + +Individual: M06 + + Types: + Man + + Facts: + hasParent M04, + hasParent F03, + hasConsort F10, + hasChild M09, + hasSex Male + + +Individual: M07 + + Types: + Man + + Facts: + hasChild M04, + hasConsort F07, + hasSex Male + + +Individual: M08 + + Types: + Man + + Facts: + hasSex Male, + hasConsort F06, + hasChild M10 + + +Individual: Male + + Types: + Gender + + +Individual: M01 + + Types: + Man + + Facts: + hasSex Male, + hasChild F03, + hasChild M02, + hasConsort F01, + hasChild F02 + + +Individual: M02 + + Types: + Man + + Facts: + hasChild F05, + hasParent M01, + hasMother F01, + hasConsort F04, + hasChild M03, + hasSex Male, + hasChild M05 + + +Individual: M03 + + Types: + Man + + Facts: + hasMother F04, + hasChild F09, + hasSex Male, + hasConsort F08, + hasParent M02 + + +Individual: M04 + + Types: + Man + + Facts: + hasSex Male, + hasParent M07, + hasMother F07, + hasChild M06, + hasConsort F03, + hasChild F06 + + +Individual: F08 + + Types: + Woman + + Facts: + hasSex Female, + hasChild F09 + + +Individual: M09 + + Types: + Man + + Facts: + hasSex Male, + hasParent M06, + hasParent F10 + + +Individual: F09 + + Types: + Woman + + Facts: + hasParent M03, + hasParent F08, + hasSex Female + + +Individual: F04 + + Types: + Woman + + Facts: + hasSex Female, + hasChild F05, + hasChild M05 + + +Individual: F05 + + Types: + Woman + + Facts: + hasSex Female, + hasParent F04, + hasParent M02 + + +Individual: F06 + + Types: + Woman + + Facts: + hasSex Female, + hasParent F03, + hasParent M04 + + +Individual: F07 + + Types: + Woman + + Facts: + hasSex Female + + +Individual: F01 + + Types: + Woman + + Facts: + hasSex Female, + hasChild F03 + + +Individual: Female + + Types: + Gender + + +Individual: F02 + + Types: + Woman + + Facts: + hasSex Female, + hasMother F01, + hasParent M01 + + +Individual: F03 + + Types: + Woman + + Facts: + hasChild M06, + hasParent M01, + hasSex Female, + hasParent F01, + hasChild F06 + + +Individual: _:http://a.com/ontology#genid162 + + Annotations: + swrl:argument1 <http://a.com/ontology#y>, + swrl:propertyPredicate <http://a.com/ontology#hasSister> + + Facts: + swrl:argument2 z + + +Rule: + Man(?<http://a.com/ontology#y>), Person(?<http://a.com/ontology#x>), hasChild(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasSon(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + +Rule: + Man(?<http://a.com/ontology#y>), Person(?<http://a.com/ontology#x>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasBrother(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + +Rule: + Person(?<http://a.com/ontology#x>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>), hasSister(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>) -> hasAunt(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + +Rule: + Person(?<http://a.com/ontology#x>), Woman(?<http://a.com/ontology#y>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasSister(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + +Rule: + Person(?<http://a.com/ontology#y>), hasConsort(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + +Rule: + Person(?<http://a.com/ontology#y>), hasChild(?<http://a.com/ontology#y>, ?<http://a.com/ontology#x>), hasChild(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), DifferentFrom (?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) -> hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + +Rule: + Man(?<http://a.com/ontology#y>), Person(?<http://a.com/ontology#x>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasFather(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + +Rule: + Person(?<http://a.com/ontology#x>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>), hasSon(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>) -> hasNephew(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + +Rule: + Person(?<http://a.com/ontology#x>), Woman(?<http://a.com/ontology#y>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasMother(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + +Rule: + Person(?<http://a.com/ontology#x>), Woman(?<http://a.com/ontology#y>), hasChild(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasDaughter(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) + +Rule: + Person(?<http://a.com/ontology#x>), hasBrother(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), hasParent(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasUncle(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) + +Rule: + Person(?<http://a.com/ontology#x>), hasDaughter(?<http://a.com/ontology#y>, ?<http://a.com/ontology#z>), hasSibling(?<http://a.com/ontology#x>, ?<http://a.com/ontology#y>) -> hasNiece(?<http://a.com/ontology#x>, ?<http://a.com/ontology#z>) +
Added: incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/foaf.owl URL: http://svn.apache.org/viewvc/incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/foaf.owl?rev=1159764&view=auto ============================================================================== --- incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/foaf.owl (added) +++ incubator/stanbol/branches/jena-reasoners/reasoners/hermit/src/test/resources/foaf.owl Fri Aug 19 19:58:28 2011 @@ -0,0 +1,1315 @@ +Prefix: xsd: <http://www.w3.org/2001/XMLSchema#> +Prefix: owl: <http://www.w3.org/2002/07/owl#> +Prefix: vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> +Prefix: foaf: <http://xmlns.com/foaf/0.1/> +Prefix: xml: <http://www.w3.org/XML/1998/namespace> +Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> +Prefix: dc: <http://purl.org/dc/elements/1.1/> +Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#> +Prefix: wot: <http://xmlns.com/wot/0.1/> + + + +Ontology: <http://xmlns.com/foaf/0.1/> + + +Annotations: + dc:title "Friend of a Friend (FOAF) vocabulary", + dc:description "The Friend of a Friend (FOAF) RDF vocabulary, described using W3C RDF Schema and the Web Ontology Language." + +AnnotationProperty: wot:assurance + + +AnnotationProperty: rdfs:isDefinedBy + + +AnnotationProperty: vs:term_status + + +AnnotationProperty: foaf:membershipClass + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "unstable", + rdfs:label "membershipClass", + rdfs:comment "Indicates the class of individuals that are a member of a Group" + + Annotations: + rdfs:comment "Indicates the class of individuals that are a member of a Group", + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "membershipClass", + vs:term_status "unstable" + + +AnnotationProperty: wot:src_assurance + + +AnnotationProperty: dc:date + + +AnnotationProperty: rdfs:label + + +AnnotationProperty: foaf:name + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "name", + vs:term_status "testing", + rdfs:comment "A name for some thing." + + Annotations: + rdfs:comment "A name for some thing.", + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "name", + vs:term_status "testing" + + SubPropertyOf: + rdfs:label + + Domain: + <http://www.w3.org/2002/07/owl#Thing> + + +AnnotationProperty: dc:description + + +AnnotationProperty: rdfs:comment + + +AnnotationProperty: dc:title + + +Datatype: rdf:PlainLiteral + + +Datatype: rdfs:Literal + + +ObjectProperty: foaf:thumbnail + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A derived thumbnail image.", + rdfs:label "thumbnail", + vs:term_status "testing" + + Domain: + foaf:Image + + Range: + foaf:Image + + +ObjectProperty: foaf:accountServiceHomepage + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:comment "Indicates a homepage of the service provide for this online account.", + rdfs:label "account service homepage" + + Domain: + foaf:OnlineAccount + + Range: + foaf:Document + + +ObjectProperty: foaf:jabberID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "jabber ID", + vs:term_status "testing", + rdfs:comment "A jabber ID for something." + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + +ObjectProperty: foaf:homepage + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A homepage for some thing.", + vs:term_status "stable", + rdfs:label "homepage" + + SubPropertyOf: + foaf:isPrimaryTopicOf, + foaf:page + + Characteristics: + InverseFunctional + + Domain: + owl:Thing + + Range: + foaf:Document + + +ObjectProperty: foaf:topic + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A topic of some page or document.", + rdfs:label "topic", + vs:term_status "testing" + + Domain: + foaf:Document + + Range: + owl:Thing + + InverseOf: + foaf:page + + +ObjectProperty: foaf:interest + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:label "interest", + rdfs:comment "A page about a topic of interest to this person." + + Domain: + foaf:Agent + + Range: + foaf:Document + + +ObjectProperty: foaf:msnChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "An MSN chat ID", + vs:term_status "testing", + rdfs:label "MSN chat ID" + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + +ObjectProperty: foaf:publications + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "publications", + vs:term_status "testing", + rdfs:comment "A link to the publications of this person." + + Domain: + foaf:Person + + Range: + foaf:Document + + +ObjectProperty: foaf:workplaceHomepage + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "workplace homepage", + vs:term_status "testing", + rdfs:comment "A workplace homepage of some person; the homepage of an organization they work for." + + Domain: + foaf:Person + + Range: + foaf:Document + + +ObjectProperty: foaf:depicts + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:comment "A thing depicted in this representation.", + rdfs:label "depicts" + + Domain: + foaf:Image + + Range: + owl:Thing + + InverseOf: + foaf:depiction + + +ObjectProperty: foaf:openid + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "openid", + rdfs:comment "An OpenID for an Agent.", + vs:term_status "testing" + + SubPropertyOf: + foaf:isPrimaryTopicOf + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + Range: + foaf:Document + + +ObjectProperty: foaf:depiction + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "depiction", + vs:term_status "testing", + rdfs:comment "A depiction of some thing." + + Domain: + owl:Thing + + Range: + foaf:Image + + InverseOf: + foaf:depicts + + +ObjectProperty: foaf:page + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A page or document about this thing.", + rdfs:label "page", + vs:term_status "testing" + + Domain: + owl:Thing + + Range: + foaf:Document + + InverseOf: + foaf:topic + + +ObjectProperty: foaf:theme + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A theme.", + rdfs:label "theme", + vs:term_status "archaic" + + Domain: + owl:Thing + + Range: + owl:Thing + + +ObjectProperty: foaf:pastProject + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "past project", + vs:term_status "testing", + rdfs:comment "A project this person has previously worked on." + + Domain: + foaf:Person + + Range: + owl:Thing + + +ObjectProperty: foaf:logo + + Annotations: + rdfs:label "logo", + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A logo representing some thing.", + vs:term_status "testing" + + Characteristics: + InverseFunctional + + Domain: + owl:Thing + + Range: + owl:Thing + + +ObjectProperty: foaf:member + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:label "member", + rdfs:comment "Indicates a member of a Group" + + Domain: + foaf:Group + + Range: + foaf:Agent + + +ObjectProperty: foaf:fundedBy + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "funded by", + vs:term_status "archaic", + rdfs:comment "An organization funding a project or person." + + Domain: + owl:Thing + + Range: + owl:Thing + + +ObjectProperty: foaf:yahooChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A Yahoo chat ID", + rdfs:label "Yahoo chat ID", + vs:term_status "testing" + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + +ObjectProperty: foaf:made + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:comment "Something that was made by this agent.", + rdfs:label "made" + + Domain: + foaf:Agent + + Range: + owl:Thing + + InverseOf: + foaf:maker + + +ObjectProperty: foaf:weblog + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "weblog", + vs:term_status "testing", + rdfs:comment "A weblog of some thing (whether person, group, company etc.)." + + SubPropertyOf: + foaf:page + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + Range: + foaf:Document + + +ObjectProperty: foaf:tipjar + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A tipjar document for this agent, describing means for payment and reward.", + vs:term_status "testing", + rdfs:label "tipjar" + + SubPropertyOf: + foaf:page + + Domain: + foaf:Agent + + Range: + foaf:Document + + +ObjectProperty: foaf:img + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:comment "An image that can be used to represent some thing (ie. those depictions which are particularly representative of something, eg. one's photo on a homepage).", + rdfs:label "image" + + SubPropertyOf: + foaf:depiction + + Domain: + foaf:Person + + Range: + foaf:Image + + +ObjectProperty: foaf:knows + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:label "knows", + rdfs:comment "A person known by this person (indicating some level of reciprocated interaction between the parties)." + + Domain: + foaf:Person + + Range: + foaf:Person + + +ObjectProperty: foaf:isPrimaryTopicOf + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:label "is primary topic of", + rdfs:comment "A document that this thing is the primary topic of." + + SubPropertyOf: + foaf:page + + Characteristics: + InverseFunctional + + Domain: + owl:Thing + + Range: + foaf:Document + + InverseOf: + foaf:primaryTopic + + +ObjectProperty: foaf:maker + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:comment "An agent that made this thing.", + rdfs:label "maker" + + Domain: + owl:Thing + + Range: + foaf:Agent + + InverseOf: + foaf:made + + +ObjectProperty: foaf:account + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "account", + rdfs:comment "Indicates an account held by this agent.", + vs:term_status "testing" + + Domain: + foaf:Agent + + Range: + foaf:OnlineAccount + + +ObjectProperty: foaf:currentProject + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A current project this person works on.", + rdfs:label "current project", + vs:term_status "testing" + + Domain: + foaf:Person + + Range: + owl:Thing + + +ObjectProperty: foaf:workInfoHomepage + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A work info homepage of some person; a page about their work for some organization.", + vs:term_status "testing", + rdfs:label "work info homepage" + + Domain: + foaf:Person + + Range: + foaf:Document + + +ObjectProperty: foaf:holdsAccount + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "account", + vs:term_status "archaic", + rdfs:comment "Indicates an account held by this agent." + + Domain: + foaf:Agent + + Range: + foaf:OnlineAccount + + +ObjectProperty: foaf:mbox + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:comment "A personal mailbox, ie. an Internet mailbox associated with exactly one owner, the first owner of this mailbox. This is a 'static inverse functional property', in that there is (across time and change) at most one individual that ever has any particular value for foaf:mbox.", + rdfs:label "personal mailbox" + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + Range: + owl:Thing + + +ObjectProperty: foaf:aimChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "AIM chat ID", + vs:term_status "testing", + rdfs:comment "An AIM chat ID" + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + +ObjectProperty: foaf:mbox_sha1sum + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "The sha1sum of the URI of an Internet mailbox associated with exactly one owner, the first owner of the mailbox.", + vs:term_status "testing", + rdfs:label "sha1sum of a personal mailbox URI name" + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + +ObjectProperty: foaf:phone + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "phone", + vs:term_status "testing", + rdfs:comment "A phone, specified using fully qualified tel: URI scheme (refs: http://www.w3.org/Addressing/schemes.html#tel)." + + +ObjectProperty: foaf:focus + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "The underlying or 'focal' entity associated with some SKOS-described concept.", + rdfs:label "focus", + vs:term_status "testing" + + Domain: + <http://www.w3.org/2004/02/skos/core#Concept> + + Range: + owl:Thing + + +ObjectProperty: foaf:schoolHomepage + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A homepage of a school attended by the person.", + vs:term_status "testing", + rdfs:label "schoolHomepage" + + Domain: + foaf:Person + + Range: + foaf:Document + + +ObjectProperty: foaf:primaryTopic + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:label "primary topic", + rdfs:comment "The primary topic of some page or document." + + Characteristics: + Functional + + Domain: + foaf:Document + + Range: + owl:Thing + + InverseOf: + foaf:isPrimaryTopicOf + + +ObjectProperty: foaf:topic_interest + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "topic_interest", + rdfs:comment "A thing of interest to this person.", + vs:term_status "testing" + + Domain: + foaf:Agent + + Range: + owl:Thing + + +ObjectProperty: foaf:based_near + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A location that something is based near, for some broadly human notion of near.", + vs:term_status "testing", + rdfs:label "based near" + + Domain: + <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> + + Range: + <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> + + +ObjectProperty: foaf:icqChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "An ICQ chat ID", + vs:term_status "testing", + rdfs:label "ICQ chat ID" + + Characteristics: + InverseFunctional + + Domain: + foaf:Agent + + +DataProperty: foaf:status + + Annotations: + rdfs:comment "A string expressing what the user is happy for the general public (normally) to know about their current activity.", + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "unstable", + rdfs:label "status" + + Domain: + foaf:Agent + + Range: + rdfs:Literal + + +DataProperty: foaf:name + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "name", + vs:term_status "testing", + rdfs:comment "A name for some thing." + + Range: + rdfs:Literal + + +DataProperty: foaf:family_name + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "The family name of some person.", + vs:term_status "archaic", + rdfs:label "family_name" + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:dnaChecksum + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "DNA checksum", + vs:term_status "archaic", + rdfs:comment "A checksum for the DNA of some thing. Joke." + + Range: + rdfs:Literal + + +DataProperty: foaf:yahooChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A Yahoo chat ID", + rdfs:label "Yahoo chat ID", + vs:term_status "testing" + + Range: + rdfs:Literal + + SubPropertyOf: + foaf:nick + + +DataProperty: foaf:skypeID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A Skype ID", + vs:term_status "testing", + rdfs:label "Skype ID" + + Domain: + foaf:Agent + + Range: + rdfs:Literal + + SubPropertyOf: + foaf:nick + + +DataProperty: foaf:mbox_sha1sum + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "The sha1sum of the URI of an Internet mailbox associated with exactly one owner, the first owner of the mailbox.", + vs:term_status "testing", + rdfs:label "sha1sum of a personal mailbox URI name" + + Range: + rdfs:Literal + + +DataProperty: foaf:sha1 + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A sha1sum hash, in hex.", + vs:term_status "unstable", + rdfs:label "sha1sum (hex)" + + Domain: + foaf:Document + + +DataProperty: foaf:jabberID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "jabber ID", + vs:term_status "testing", + rdfs:comment "A jabber ID for something." + + Range: + rdfs:Literal + + +DataProperty: foaf:surname + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "Surname", + vs:term_status "archaic", + rdfs:comment "The surname of some person." + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:firstName + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:comment "The first name of a person.", + rdfs:label "firstName" + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:givenname + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "Given name", + vs:term_status "archaic", + rdfs:comment "The given name of some person." + + +DataProperty: foaf:givenName + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "Given name", + vs:term_status "testing", + rdfs:comment "The given name of some person." + + +DataProperty: foaf:lastName + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "lastName", + rdfs:comment "The last name of a person.", + vs:term_status "testing" + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:accountName + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "Indicates the name (identifier) associated with this online account.", + rdfs:label "account name", + vs:term_status "testing" + + Domain: + foaf:OnlineAccount + + Range: + rdfs:Literal + + +DataProperty: foaf:icqChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "An ICQ chat ID", + vs:term_status "testing", + rdfs:label "ICQ chat ID" + + Range: + rdfs:Literal + + SubPropertyOf: + foaf:nick + + +DataProperty: foaf:geekcode + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "geekcode", + vs:term_status "archaic", + rdfs:comment "A textual geekcode for this person, see http://www.geekcode.com/geek.html"; + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:myersBriggs + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "myersBriggs", + rdfs:comment "A Myers Briggs (MBTI) personality classification.", + vs:term_status "testing" + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:msnChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "An MSN chat ID", + vs:term_status "testing", + rdfs:label "MSN chat ID" + + Range: + rdfs:Literal + + SubPropertyOf: + foaf:nick + + +DataProperty: foaf:title + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:label "title", + rdfs:comment "Title (Mr, Mrs, Ms, Dr. etc)" + + +DataProperty: foaf:aimChatID + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "AIM chat ID", + vs:term_status "testing", + rdfs:comment "An AIM chat ID" + + Range: + rdfs:Literal + + SubPropertyOf: + foaf:nick + + +DataProperty: foaf:birthday + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "birthday", + vs:term_status "unstable", + rdfs:comment "The birthday of this Agent, represented in mm-dd string form, eg. '12-31'." + + Characteristics: + Functional + + Domain: + foaf:Agent + + Range: + rdfs:Literal + + +DataProperty: foaf:familyName + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "The family name of some person.", + rdfs:label "familyName", + vs:term_status "testing" + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:nick + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A short informal nickname characterising an agent (includes login identifiers, IRC and other chat nicknames).", + rdfs:label "nickname", + vs:term_status "testing" + + +DataProperty: foaf:plan + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A .plan comment, in the tradition of finger and '.plan' files.", + rdfs:label "plan", + vs:term_status "testing" + + Domain: + foaf:Person + + Range: + rdfs:Literal + + +DataProperty: foaf:age + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "unstable", + rdfs:label "age", + rdfs:comment "The age in years of some agent." + + Characteristics: + Functional + + Domain: + foaf:Agent + + Range: + rdfs:Literal + + +DataProperty: foaf:gender + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:comment "The gender of this Agent (typically but not necessarily 'male' or 'female').", + rdfs:label "gender" + + Characteristics: + Functional + + Domain: + foaf:Agent + + Range: + rdfs:Literal + + +Class: owl:Thing + + Annotations: + rdfs:label "Thing" + + +Class: foaf:LabelProperty + + Annotations: + rdfs:comment "A foaf:LabelProperty is any RDF property with texual values that serve as labels.", + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "unstable", + rdfs:label "Label Property" + + +Class: foaf:Agent + + Annotations: + vs:term_status "stable", + rdfs:comment "An agent (eg. person, group, software or physical artifact).", + rdfs:label "Agent" + + EquivalentTo: + <http://purl.org/dc/terms/Agent> + + +Class: foaf:Project + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "A project (a collective endeavour of some kind).", + rdfs:label "Project", + vs:term_status "testing" + + DisjointWith: + foaf:Person, foaf:Document + + +Class: foaf:OnlineAccount + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "Online Account", + rdfs:comment "An online account.", + vs:term_status "testing" + + SubClassOf: + owl:Thing + + +Class: <http://www.w3.org/2000/10/swap/pim/contact#Person> + + Annotations: + rdfs:label "Person" + + +Class: foaf:Document + + Annotations: + rdfs:comment "A document.", + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:label "Document" + + DisjointWith: + foaf:Project, foaf:Organization + + +Class: <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> + + Annotations: + rdfs:label "Spatial Thing" + + +Class: <http://www.w3.org/2004/02/skos/core#Concept> + + Annotations: + rdfs:label "Concept" + + +Class: foaf:OnlineEcommerceAccount + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:comment "An online e-commerce account.", + vs:term_status "unstable", + rdfs:label "Online E-commerce Account" + + SubClassOf: + foaf:OnlineAccount + + +Class: foaf:OnlineGamingAccount + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + rdfs:label "Online Gaming Account", + rdfs:comment "An online gaming account.", + vs:term_status "unstable" + + SubClassOf: + foaf:OnlineAccount + + +Class: <http://purl.org/dc/terms/Agent> + + EquivalentTo: + foaf:Agent + + +Class: foaf:Person + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:label "Person", + rdfs:comment "A person." + + SubClassOf: + foaf:Agent, + <http://www.w3.org/2000/10/swap/pim/contact#Person>, + <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> + + DisjointWith: + foaf:Project, foaf:Organization + + +Class: foaf:Organization + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "stable", + rdfs:comment "An organization.", + rdfs:label "Organization" + + SubClassOf: + foaf:Agent + + DisjointWith: + foaf:Person, foaf:Document + + +Class: foaf:Group + + Annotations: + vs:term_status "stable", + rdfs:comment "A class of Agents.", + rdfs:label "Group" + + SubClassOf: + foaf:Agent + + +Class: foaf:PersonalProfileDocument + + Annotations: + rdfs:comment "A personal profile RDF document.", + vs:term_status "testing", + rdfs:label "PersonalProfileDocument" + + SubClassOf: + foaf:Document + + +Class: rdfs:Class + + +Class: foaf:OnlineChatAccount + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "unstable", + rdfs:comment "An online chat account.", + rdfs:label "Online Chat Account" + + SubClassOf: + foaf:OnlineAccount + + +Class: foaf:Image + + Annotations: + rdfs:isDefinedBy <http://xmlns.com/foaf/0.1/>, + vs:term_status "testing", + rdfs:comment "An image.", + rdfs:label "Image" + + SubClassOf: + foaf:Document + +
