public interface OWLAxiomCollectionNoArgs extends HasAxioms, HasLogicalAxioms, HasAxiomsByType, HasContainsAxiom
Modifier and Type | Method and Description |
---|---|
boolean |
containsAxiomIgnoreAnnotations(OWLAxiom axiom)
Determines if this ontology contains the specified axiom.
|
int |
getAxiomCount() |
<T extends OWLAxiom> |
getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
Set<OWLAnnotationAxiom> |
getAxioms(OWLAnnotationProperty property)
|
Set<OWLClassAxiom> |
getAxioms(OWLClass cls)
Deprecated.
|
Set<OWLDataPropertyAxiom> |
getAxioms(OWLDataProperty property)
Deprecated.
|
Set<OWLDatatypeDefinitionAxiom> |
getAxioms(OWLDatatype datatype)
Deprecated.
|
Set<OWLIndividualAxiom> |
getAxioms(OWLIndividual individual)
Deprecated.
|
Set<OWLObjectPropertyAxiom> |
getAxioms(OWLObjectPropertyExpression property)
|
Set<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom axiom)
Gets the set of axioms contained in this collection that have the same "logical structure" as
the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring
annotations.
|
int |
getLogicalAxiomCount()
Gets the number of logical axioms in this collection.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLPrimitive owlEntity)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
getLogicalAxioms
getAxioms
containsAxiom
int getAxiomCount()
int getLogicalAxiomCount()
<T extends OWLAxiom> int getAxiomCount(@Nonnull AxiomType<T> axiomType)
T
- axiom type classaxiomType
- The type of axiom to countboolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom axiom)
axiom
- The axiom to search.true
if the ontology contains the specified axiom.@Nonnull Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom axiom)
axiom
- The axiom that the returned axioms must equal, ignoring annotations.axiomA
and axiomB
in
the set, axiomA.getAxiomWithoutAnnotations()
is equal to
axiomB.getAxiomWithoutAnnotations()
. The specified axiom will be contained in
the set.@Nonnull Set<OWLAxiom> getReferencingAxioms(@Nonnull OWLPrimitive owlEntity)
OWLPrimitive
appears in the signature of the
axiom.OWLEntity
only. This method accepts
OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be
passed in, although they are not included in the axioms' signatures.owlEntity
- The entity that should be directly referred to by all axioms in the results
set.@Nonnull @Deprecated Set<OWLClassAxiom> getAxioms(@Nonnull OWLClass cls)
OWLAxiomCollection.getAxioms(OWLClass, org.semanticweb.owlapi.model.parameters.Imports)
insteadcls
- The class whose describing axioms are to be retrieved.@Nonnull @Deprecated Set<OWLObjectPropertyAxiom> getAxioms(@Nonnull OWLObjectPropertyExpression property)
OWLAxiomCollection.getAxioms(OWLObjectPropertyExpression, org.semanticweb.owlapi.model.parameters.Imports)
insteadproperty
- The property whose defining axioms are to be retrieved.@Nonnull @Deprecated Set<OWLDataPropertyAxiom> getAxioms(@Nonnull OWLDataProperty property)
OWLAxiomCollection.getAxioms(OWLDataProperty, org.semanticweb.owlapi.model.parameters.Imports)
insteadproperty
- The property whose defining axioms are to be retrieved.@Nonnull @Deprecated Set<OWLIndividualAxiom> getAxioms(@Nonnull OWLIndividual individual)
OWLAxiomCollection.getAxioms(OWLIndividual, org.semanticweb.owlapi.model.parameters.Imports)
insteadindividual
- The individual whose defining axioms are to be retrieved.@Nonnull @Deprecated Set<OWLAnnotationAxiom> getAxioms(@Nonnull OWLAnnotationProperty property)
OWLAxiomCollection.getAxioms(OWLAnnotationProperty, org.semanticweb.owlapi.model.parameters.Imports)
insteadproperty
- The property whose definition axioms are to be retrieved@Nonnull @Deprecated Set<OWLDatatypeDefinitionAxiom> getAxioms(@Nonnull OWLDatatype datatype)
OWLAxiomCollection.getAxioms(OWLDatatype, org.semanticweb.owlapi.model.parameters.Imports)
insteaddatatype
- The datatypeCopyright © 2020 The University of Manchester. All rights reserved.