Teams Ontology

teams.owl

Namespace(rdf	= <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Namespace(xsd	= <http://www.w3.org/2001/XMLSchema#>)
Namespace(rdfs	= <http://www.w3.org/2000/01/rdf-schema#>)
Namespace(owl	= <http://www.w3.org/2002/07/owl#>)
Namespace(a	= <http://owl.man.ac.uk/2005/sssw/teams#>)

Ontology( <http://owl.man.ac.uk/2005/sssw/teams>

 ObjectProperty(a:hasMember
  inverseOf(a:isMemberOf))
 ObjectProperty(a:isMarriedTo
  inverseOf(a:isMarriedTo)
  domain(a:Person)
  range(a:Person))
 ObjectProperty(a:isMemberOf
  inverseOf(a:hasMember))

 Class(a:Female partial 
  a:Person
  restriction(a:isMarriedTo allValuesFrom(a:Male)))
 Class(a:Male partial 
  restriction(a:isMarriedTo allValuesFrom(a:Female))
  a:Person)
 Class(a:MarriedPerson complete 
  intersectionOf(restriction(a:isMarriedTo someValuesFrom(owl:Thing)) a:Person))
 Class(a:MixedTeam complete 
  intersectionOf(restriction(a:hasMember someValuesFrom(a:Male))
                 restriction(a:hasMember someValuesFrom(a:Female)) a:Team))
 Class(a:NonSingletonTeam complete 
  intersectionOf(restriction(a:hasMember minCardinality(2)) a:Team))
 Class(a:Person partial 
  owl:Thing
  unionOf(a:Female a:Male))
 Class(a:SingletonTeam complete 
  intersectionOf(restriction(a:hasMember cardinality(1)) a:Team))
 Class(a:Team partial)
 Class(owl:Thing partial)

 Individual(a:Chris
  type(a:Person)
  value(a:isMarriedTo a:Sam)
  value(a:isMemberOf a:OntologyFC))
 Individual(a:OntologyFC
  type(a:Team))
 Individual(a:Sam
  type(a:Person)
  value(a:isMarriedTo a:Chris)
  value(a:isMemberOf a:OntologyFC))
)