org.semanticweb.owlapi.change

Class AddClassExpressionClosureAxiom

java.lang.Object

org.semanticweb.owlapi.change.AbstractCompositeOntologyChange

org.semanticweb.owlapi.change.AddClassExpressionClosureAxiom

All Implemented Interfaces:

Serializable, OWLCompositeOntologyChange

public class AddClassExpressionClosureAxiom
extends AbstractCompositeOntologyChange

This composite change adds a 'closure' axiom to an ontology for a given class and object property. In this case, a closure axiom is defined for a given class, A, and object property, P, to be a subclass axiom, whose subclass is class A, and whose superclass is a universal restriction along the property, P, whose filler is the union of any other existential (including hasValue restrictions - i.e. nominals) restriction fillers that are the superclasses of class A.
This code is based on the tutorial examples by Sean Bechhofer (see the tutorial module).

Since:

2.1.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, Collection<OWLOntology> ontologies, OWLOntology targetOntology) Creates a composite change that will add a closure axiom for a given class along a specified property.

Method Summary

Methods inherited from class org.semanticweb.owlapi.change.AbstractCompositeOntologyChange

getChanges

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AddClassExpressionClosureAxiom

public AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
                                      OWLClass cls,
                                      OWLObjectPropertyExpression property,
                                      Collection<OWLOntology> ontologies,
                                      OWLOntology targetOntology)

Creates a composite change that will add a closure axiom for a given class along a specified property.

Parameters:

dataFactory - The data factory that should be used to create the necessary objects

cls - The class for which the closure axiom will be generated

property - The property that the closure axiom will act along

ontologies - The ontologies that will be examined for subclass axioms

targetOntology - The target ontology that changes will be applied to.