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

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

Author:

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

Field Summary

Fields

Modifier and Type	Field and Description
protected OWLObjectPropertyExpression	property

Constructor Summary

Constructors

Constructor and Description
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, 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

Modifier and Type	Method and Description
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

Field Detail

property

protected final OWLObjectPropertyExpression property

Constructor Detail

AddClassExpressionClosureAxiom

public AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
                                      OWLClass cls,
                                      OWLObjectPropertyExpression property,
                                      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 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.