org.semanticweb.owl
Class AddClassDescriptionClosureAxiom

java.lang.Object
  extended by org.semanticweb.owl.AbstractCompositeOntologyChange
      extended by org.semanticweb.owl.AddClassDescriptionClosureAxiom
All Implemented Interfaces:
OWLCompositeOntologyChange

public class AddClassDescriptionClosureAxiom
extends AbstractCompositeOntologyChange

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Jul-2007

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 tutoral module).


Constructor Summary
AddClassDescriptionClosureAxiom(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, java.util.Set<OWLOntology> ontologies, OWLOntology targetOntology)
          Creates a composite change that will add a closure axiom for a given class along a specified property.
 
Method Summary
 java.util.List<OWLOntologyChange> getChanges()
          Gets the changes which compose this composite change.
 
Methods inherited from class org.semanticweb.owl.AbstractCompositeOntologyChange
getDataFactory
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AddClassDescriptionClosureAxiom

public AddClassDescriptionClosureAxiom(OWLDataFactory dataFactory,
                                       OWLClass cls,
                                       OWLObjectPropertyExpression property,
                                       java.util.Set<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.
Method Detail

getChanges

public java.util.List<OWLOntologyChange> getChanges()
Description copied from interface: OWLCompositeOntologyChange
Gets the changes which compose this composite change. Once this method has been invoked, it will always return the same list of changes.

Returns:
A list of ontology changes.