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

Constructor Summary

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.

Method Summary

java.util.List<OWLOntologyChange>

getChanges() Gets the changes which compose this composite change.

Methods inherited from class org.semanticweb.owlapi.AbstractCompositeOntologyChange

getDataFactory

Methods inherited from class java.lang.Object

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

Constructor Detail

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 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.