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.