public class Internals extends Object implements Serializable
| Constructor and Description |
|---|
Internals() |
public static <K,V extends OWLAxiom> boolean contains(MapPointer<K,V> p, K k, V v)
K - key typeV - value typep - pointerk - keyv - valuepublic boolean anyEntities(EntityType<?> type)
type - entity typepublic boolean containsClassInSignature(IRI i)
i - iripublic boolean containsObjectPropertyInSignature(IRI i)
i - iripublic boolean containsDataPropertyInSignature(IRI i)
i - iripublic boolean containsAnnotationPropertyInSignature(IRI i)
i - iripublic boolean containsIndividualInSignature(IRI i)
i - iripublic boolean containsDatatypeInSignature(IRI i)
i - iripublic boolean containsClassInSignature(OWLClass i)
i - iripublic boolean containsObjectPropertyInSignature(OWLObjectProperty i)
i - iripublic boolean containsDataPropertyInSignature(OWLDataProperty i)
i - iripublic boolean containsAnnotationPropertyInSignature(OWLAnnotationProperty i)
i - iripublic boolean containsIndividualInSignature(OWLNamedIndividual i)
i - iripublic boolean containsDatatypeInSignature(OWLDatatype i)
i - iripublic boolean addAxiom(OWLAxiom axiom)
axiom - axiom to addpublic boolean removeAxiom(OWLAxiom axiom)
axiom - axiom to removepublic boolean isDeclared(OWLEntity e)
e - entity to checkpublic boolean isEmpty()
public <K> Collection<? extends OWLAxiom> filterAxioms(OWLAxiomSearchFilter filter, K key)
K - key typefilter - filter to satisfykey - keypublic <K> boolean contains(OWLAxiomSearchFilter filter, K key)
K - key typefilter - filter to satisfykey - key to matchpublic Stream<OWLImportsDeclaration> getImportsDeclarations()
public boolean addImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration - import declaration to removepublic boolean removeImportsDeclaration(OWLImportsDeclaration importDeclaration)
importDeclaration - import declaration to removepublic boolean addOntologyAnnotation(OWLAnnotation ann)
ann - annotation to addpublic boolean removeOntologyAnnotation(OWLAnnotation ann)
ann - annotation to removepublic int getAxiomCount()
public <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
T - axiom typeaxiomType - axiom type to countpublic Stream<OWLLogicalAxiom> getLogicalAxioms()
public int getLogicalAxiomCount()
public Stream<OWLClassAxiom> getGeneralClassAxioms()
public boolean addGeneralClassAxioms(OWLClassAxiom ax)
ax - GCI axiom to addpublic boolean removeGeneralClassAxioms(OWLClassAxiom ax)
ax - axiom to removepublic boolean addPropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
ax - axiom to addpublic boolean removePropertyChainSubPropertyAxioms(OWLSubPropertyChainOfAxiom ax)
ax - axiom to removepublic MapPointer<AxiomType,OWLAxiom> getAxiomsByType()
public boolean containsReference(OWLEntity entity)
entity - entity to checkCopyright © 2020 The University of Manchester. All rights reserved.