public class AddClassExpressionClosureAxiom extends AbstractCompositeOntologyChange
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.
|
Modifier and Type | Method and Description |
---|---|
List<OWLOntologyChange> |
getChanges()
Gets the changes which compose this composite change.
|
public AddClassExpressionClosureAxiom(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, Set<OWLOntology> ontologies, OWLOntology targetOntology)
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.public List<OWLOntologyChange> getChanges()
OWLCompositeOntologyChange
Copyright © 2017 The University of Manchester. All Rights Reserved.