// Now we want to add the other facts/assertions to the ontology John
// hasSon Bill Get a refernece to the hasSon property
OWLObjectProperty hasSon = factory.getOWLObjectProperty(IRI
.create(ontologyIRI + "#hasSon"));
// Create the assertion, John hasSon Bill
OWLAxiom axiom2 = factory.getOWLObjectPropertyAssertionAxiom(hasSon,
john, bill);
// Apply the change
manager.applyChange(new AddAxiom(ont, axiom2));
// John hasDaughter Susan
OWLObjectProperty hasDaughter = factory.getOWLObjectProperty(IRI
.create(ontologyIRI + "#hasDaughter"));
OWLAxiom axiom3 = factory.getOWLObjectPropertyAssertionAxiom(
hasDaughter, john, susan);
manager.applyChange(new AddAxiom(ont, axiom3));
// John hasAge 33 In this case, hasAge is a data property, which we need
// a reference to
OWLDataProperty hasAge = factory.getOWLDataProperty(IRI
.create(ontologyIRI + "#hasAge"));
// We create a data property assertion instead of an object property
// assertion
OWLAxiom axiom4 = factory.getOWLDataPropertyAssertionAxiom(hasAge,
john, 33);
manager.applyChange(new AddAxiom(ont, axiom4));
// In the above code, 33 is an integer, so we can just pass 33 into the
// data factory method. Behind the scenes the OWL API will create a
// typed constant that it will use as the value of the data property
// assertion. We could have manually created the constant as follows:
OWLDatatype intDatatype = factory.getIntegerOWLDatatype();
OWLLiteral thirtyThree = factory.getOWLLiteral("33", intDatatype);
// We would then create the axiom as follows:
factory.getOWLDataPropertyAssertionAxiom(hasAge, john, thirtyThree);
// However, the convenice method is much shorter! We can now create the
// other facts/assertion for Mary. The OWL API uses a change object
// model, which means we can stack up changes (or sets of axioms) and
// apply the changes (or add the axioms) in one go. We will do this for
// Mary
Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
axioms.add(factory.getOWLObjectPropertyAssertionAxiom(hasSon, mary,
bill));
axioms.add(factory.getOWLObjectPropertyAssertionAxiom(hasDaughter,
mary, susan));
axioms.add(factory.getOWLDataPropertyAssertionAxiom(hasAge, mary, 31));
// Add facts/assertions for Bill and Susan
axioms.add(factory.getOWLDataPropertyAssertionAxiom(hasAge, bill, 13));
axioms.add(factory.getOWLDataPropertyAssertionAxiom(hasAge, mary, 8));
// Now add all the axioms in one go - there is a convenience method on
// OWLOntologyManager that will automatically generate the AddAxiom
// change objects for us. We need to specify the ontology that the
// axioms should be added to and the axioms to add.
manager.addAxioms(ont, axioms);
// Now specify the genders of John, Mary, Bill and Susan. To do this we
// need the male and female individuals and the hasGender object
// property.
OWLIndividual male = factory.getOWLNamedIndividual(IRI
.create(ontologyIRI + "#male"));
OWLIndividual female = factory.getOWLNamedIndividual(IRI
.create(ontologyIRI + "#female"));
OWLObjectProperty hasGender = factory.getOWLObjectProperty(IRI
.create(ontologyIRI + "#hasGender"));
Set<OWLAxiom> genders = new HashSet<OWLAxiom>();
genders.add(factory.getOWLObjectPropertyAssertionAxiom(hasGender, john,
male));
genders.add(factory.getOWLObjectPropertyAssertionAxiom(hasGender, mary,
female));
genders.add(factory.getOWLObjectPropertyAssertionAxiom(hasGender, bill,
male));
genders.add(factory.getOWLObjectPropertyAssertionAxiom(hasGender,
susan, female));
// Add the facts about the genders
manager.addAxioms(ont, genders);
// Domain and Range Axioms //At this point, we have an ontology
// containing facts about several individuals. We now want to specify
// more information about the various properties that we have used. We
// want to say that the domains and ranges of hasWife, hasSon and
// hasDaughter are the class Person. To do this we need various domain
// and range axioms, and we need a reference to the class Person First
// get a reference to the person class
OWLClass person = factory.getOWLClass(IRI.create(ontologyIRI
+ "#Person"));
// Now we add the domain and range axioms that specify the domains and
// ranges of the various properties that we are interested in.
Set<OWLAxiom> domainsAndRanges = new HashSet<OWLAxiom>();
// Domain and then range of hasWife
domainsAndRanges.add(factory.getOWLObjectPropertyDomainAxiom(hasWife,
person));
domainsAndRanges.add(factory.getOWLObjectPropertyRangeAxiom(hasWife,
person));
// Domain and range of hasSon and also hasDaugher
domainsAndRanges.add(factory.getOWLObjectPropertyDomainAxiom(hasSon,
person));
domainsAndRanges.add(factory.getOWLObjectPropertyRangeAxiom(hasSon,
person));
domainsAndRanges.add(factory.getOWLObjectPropertyDomainAxiom(
hasDaughter, person));
domainsAndRanges.add(factory.getOWLObjectPropertyRangeAxiom(
hasDaughter, person));
// We also have the domain of the data property hasAge as Person, and
// the range as integer. We need the integer datatype. The XML Schema
// Datatype URIs are used for data types. The OWL API provide a built in
// set via the XSDVocabulary enum.
domainsAndRanges.add(factory.getOWLDataPropertyDomainAxiom(hasAge,
person));
OWLDatatype integerDatatype = factory.getIntegerOWLDatatype();
domainsAndRanges.add(factory.getOWLDataPropertyRangeAxiom(hasAge,
integerDatatype));
// Now add all of our domain and range axioms
manager.addAxioms(ont, domainsAndRanges);
// Class assertion axioms //We can also explicitly say than an
// individual is an instance of a given class. To do this we use a Class
// assertion axiom.
OWLClassAssertionAxiom classAssertionAx = factory
.getOWLClassAssertionAxiom(person, john);
// Add the axiom directly using the addAxiom convenience method on
// OWLOntologyManager
manager.addAxiom(ont, classAssertionAx);
// Inverse property axioms //We can specify the inverse property of
// hasWife as hasHusband We first need a reference to the hasHusband
// property.
OWLObjectProperty hasHusband = factory.getOWLObjectProperty(IRI
.create(ont.getOntologyID().getOntologyIRI().get()
+ "#hasHusband"));
// The full URI of the hasHusband property will be
// http://example.com/owlapi/families#hasHusband since the URI of our
// ontology is http://example.com/owlapi/families Create the inverse
// object properties axiom and add it
manager.addAxiom(ont,
factory.getOWLInverseObjectPropertiesAxiom(hasWife, hasHusband));
// Sub property axioms //OWL allows a property hierarchy to be
// specified. Here, hasSon and hasDaughter will be specified as
// hasChild.
OWLObjectProperty hasChild = factory.getOWLObjectProperty(IRI
.create(ont.getOntologyID().getOntologyIRI().get()
+ "#hasChild"));
OWLSubObjectPropertyOfAxiom hasSonSubHasChildAx = factory
.getOWLSubObjectPropertyOfAxiom(hasSon, hasChild);
// Add the axiom
manager.addAxiom(ont, hasSonSubHasChildAx);
// And hasDaughter, which is also a sub property of hasChild
manager.addAxiom(ont,
factory.getOWLSubObjectPropertyOfAxiom(hasDaughter, hasChild));
// Property characteristics //Next, we want to say that the hasAge
// property is Functional. This means that something can have at most
// one hasAge property. We can do this with a functional data property
// axiom First create the axiom
OWLFunctionalDataPropertyAxiom hasAgeFuncAx = factory
.getOWLFunctionalDataPropertyAxiom(hasAge);
// Now add it to the ontology
manager.addAxiom(ont, hasAgeFuncAx);
// The hasWife property should be Functional, InverseFunctional,
// Irreflexive and Asymmetric. Note that the asymmetric property axiom
// used to be called antisymmetric - older versions of the OWL API may
// refer to antisymmetric property axioms
Set<OWLAxiom> hasWifeAxioms = new HashSet<OWLAxiom>();
hasWifeAxioms.add(factory.getOWLFunctionalObjectPropertyAxiom(hasWife));
hasWifeAxioms.add(factory
.getOWLInverseFunctionalObjectPropertyAxiom(hasWife));
hasWifeAxioms
.add(factory.getOWLIrreflexiveObjectPropertyAxiom(hasWife));
hasWifeAxioms.add(factory.getOWLAsymmetricObjectPropertyAxiom(hasWife));
// Add all of the axioms that specify the characteristics of hasWife
manager.addAxioms(ont, hasWifeAxioms);
// SubClass axioms //Now we want to start specifying something about
// classes in our ontology. To begin with we will simply say something
// about the relationship between named classes Besides the Person class
// that we already have, we want to say something about the classes Man,
// Woman and Parent. To say something about these classes, as usual, we
// need references to them:
OWLClass man = factory.getOWLClass(IRI.create(ontologyIRI + "#Man"));
OWLClass woman = factory
.getOWLClass(IRI.create(ontologyIRI + "#Woman"));
OWLClass parent = factory.getOWLClass(IRI.create(ontologyIRI
+ "#Parent"));
// It is important to realise that simply getting references to a class
// via the data factory does not add them to an ontology - only axioms
// can be added to an ontology. Now say that Man, Woman and Parent are
// subclasses of Person
manager.addAxiom(ont, factory.getOWLSubClassOfAxiom(man, person));
manager.addAxiom(ont, factory.getOWLSubClassOfAxiom(woman, person));
manager.addAxiom(ont, factory.getOWLSubClassOfAxiom(parent, person));
// Restrictions //Now we want to say that Person has exactly 1 Age,
// exactly 1 Gender and, only has gender that is male or female. We will
// deal with these restrictions one by one and then combine them as a
// superclass (Necessary conditions) of Person. All anonymous class
// expressions extend OWLClassExpression. First, hasAge exactly 1
OWLDataExactCardinality hasAgeRestriction = factory
.getOWLDataExactCardinality(1, hasAge);
// Now the hasGender exactly 1
OWLObjectExactCardinality hasGenderRestriction = factory
.getOWLObjectExactCardinality(1, hasGender);
// And finally, the hasGender only {male female} To create this
// restriction, we need an OWLObjectOneOf class expression since male
// and female are individuals We can just list as many individuals as we
// need as the argument of the method.
OWLObjectOneOf maleOrFemale = factory.getOWLObjectOneOf(male, female);
// Now create the actual restriction
OWLObjectAllValuesFrom hasGenderOnlyMaleFemale = factory
.getOWLObjectAllValuesFrom(hasGender, maleOrFemale);
// Finally, we bundle these restrictions up into an intersection, since
// we want person to be a subclass of the intersection of them
OWLObjectIntersectionOf intersection = factory
.getOWLObjectIntersectionOf(hasAgeRestriction,
hasGenderRestriction, hasGenderOnlyMaleFemale);
// And now we set this anonymous intersection class to be a superclass
// of Person using a subclass axiom
manager.addAxiom(ont,
factory.getOWLSubClassOfAxiom(person, intersection));
// Restrictions and other anonymous classes can also be used anywhere a
// named class can be used. Let's set the range of hasSon to be Person
// and hasGender value male. This requires an anonymous class that is
// the intersection of Person, and also, hasGender value male. We need
// to create the hasGender value male restriction - this describes the
// class of things that have a hasGender relationship to the individual
// male.
OWLObjectHasValue hasGenderValueMaleRestriction = factory
.getOWLObjectHasValue(hasGender, male);
// Now combine this with Person in an intersection
OWLClassExpression personAndHasGenderValueMale = factory
.getOWLObjectIntersectionOf(person,
hasGenderValueMaleRestriction);
// Now specify this anonymous class as the range of hasSon using an
// object property range axioms
manager.addAxiom(ont, factory.getOWLObjectPropertyRangeAxiom(hasSon,
personAndHasGenderValueMale));
// We can do a similar thing for hasDaughter, by specifying that
// hasDaughter has a range of Person and hasGender value female. This
// time, we will make things a little more compact by not using so many
// variables
OWLClassExpression rangeOfHasDaughter = factory
.getOWLObjectIntersectionOf(person,
factory.getOWLObjectHasValue(hasGender, female));
manager.addAxiom(ont, factory.getOWLObjectPropertyRangeAxiom(
hasDaughter, rangeOfHasDaughter));
// Data Ranges and Equivalent Classes axioms //In OWL 2, we can specify
// expressive data ranges. Here, we will specify the classes Teenage,
// Adult and Child by saying something about individuals ages. First we
// take the class Teenager, all of whose instance have an age greater or
// equal to 13 and less than 20. In Manchester Syntax this is written as
// Person and hasAge some int[>=13, <20] We create a data range by
// taking the integer datatype and applying facet restrictions to it.
// Note that we have statically imported the data range facet vocabulary
// OWLFacet
OWLFacetRestriction geq13 = factory.getOWLFacetRestriction(
MIN_INCLUSIVE, factory.getOWLLiteral(13));
// We don't have to explicitly create the typed constant, there are
// convenience methods to do this
OWLFacetRestriction lt20 = factory.getOWLFacetRestriction(
MAX_EXCLUSIVE, 20);
// Restrict the base type, integer (which is just an XML Schema
// Datatype) with the facet restrictions.
OWLDataRange dataRng = factory.getOWLDatatypeRestriction(
integerDatatype, geq13, lt20);
// Now we have the data range of greater than equal to 13 and less than
// 20 we can use this in a restriction.
OWLDataSomeValuesFrom teenagerAgeRestriction = factory
.getOWLDataSomeValuesFrom(hasAge, dataRng);
// Now make Teenager equivalent to Person and hasAge some int[>=13, <20]
// First create the class Person and hasAge some int[>=13, <20]
OWLClassExpression teenagePerson = factory.getOWLObjectIntersectionOf(
person, teenagerAgeRestriction);
OWLClass teenager = factory.getOWLClass(IRI.create(ontologyIRI
+ "#Teenager"));
OWLEquivalentClassesAxiom teenagerDefinition = factory
.getOWLEquivalentClassesAxiom(teenager, teenagePerson);
manager.addAxiom(ont, teenagerDefinition);
// Do the same for Adult that has an age greater than 21
OWLDataRange geq21 = factory.getOWLDatatypeRestriction(integerDatatype,
factory.getOWLFacetRestriction(MIN_INCLUSIVE, 21));
OWLClass adult = factory
.getOWLClass(IRI.create(ontologyIRI + "#Adult"));
OWLClassExpression adultAgeRestriction = factory
.getOWLDataSomeValuesFrom(hasAge, geq21);
OWLClassExpression adultPerson = factory.getOWLObjectIntersectionOf(
person, adultAgeRestriction);
OWLAxiom adultDefinition = factory.getOWLEquivalentClassesAxiom(adult,
adultPerson);
manager.addAxiom(ont, adultDefinition);
// And finally Child
OWLDataRange notGeq21 = factory.getOWLDataComplementOf(geq21);
OWLClass child = factory
.getOWLClass(IRI.create(ontologyIRI + "#Child"));
OWLClassExpression childAgeRestriction = factory
.getOWLDataSomeValuesFrom(hasAge, notGeq21);
OWLClassExpression childPerson = factory.getOWLObjectIntersectionOf(
person, childAgeRestriction);
OWLAxiom childDefinition = factory.getOWLEquivalentClassesAxiom(child,
childPerson);
manager.addAxiom(ont, childDefinition);
// Different individuals //In OWL, we can say that individuals are
// different from each other. To do this we use a different individuals
// axiom. Since John, Mary, Bill and Susan are all different