org.semanticweb.owlapi
Class AddClassExpressionClosureAxiom
java.lang.Object
org.semanticweb.owlapi.AbstractCompositeOntologyChange
org.semanticweb.owlapi.AddClassExpressionClosureAxiom
- All Implemented Interfaces:
- OWLCompositeOntologyChange
public class AddClassExpressionClosureAxiom
- 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).
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AddClassExpressionClosureAxiom
public AddClassExpressionClosureAxiom(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 objectscls
- The class for which the closure axiom will be generatedproperty
- The property that the closure axiom will act alongontologies
- The ontologies that will be examined for subclass axiomstargetOntology
- The target ontology that changes will be applied to.
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.