org.dllearner.core.owl
Interface KBElement

All Superinterfaces:

Serializable

All Known Subinterfaces:

DataRange, DoubleDataRange, Entity, NamedKBElement, Property, PropertyExpression, PropertyRange, SimpleDoubleDataRange

All Known Implementing Classes:

ADC, Annotation, AssertionalAxiom, AsymmetricObjectPropertyAxiom, Axiom, BooleanDataRange, BooleanDatatypePropertyAssertion, BooleanValueRestriction, CardinalityRestriction, ClassAssertionAxiom, Constant, ConstantAnnotation, Datatype, DatatypeCardinalityRestriction, DatatypeExactCardinalityRestriction, DatatypeMaxCardinalityRestriction, DatatypeMinCardinalityRestriction, DatatypeProperty, DatatypePropertyAssertion, DatatypePropertyDomainAxiom, DatatypePropertyRangeAxiom, DatatypeQuantorRestriction, DatatypeSomeRestriction, DatatypeValueRestriction, Description, DifferentIndividualsAxiom, DisjointClassesAxiom, DisjointDatatypePropertyAxiom, DisjointObjectPropertyAxiom, DoubleDatatypePropertyAssertion, DoubleMaxValue, DoubleMinValue, EquivalentClassesAxiom, EquivalentDatatypePropertiesAxiom, EquivalentObjectPropertiesAxiom, FunctionalDatatypePropertyAxiom, FunctionalObjectPropertyAxiom, FuzzyIndividual, Individual, Intersection, InverseFunctionalObjectPropertyAxiom, InverseObjectPropertyAxiom, IrreflexiveObjectPropertyAxiom, KB, LabelAnnotation, NamedClass, Negation, Nothing, ObjectAllRestriction, ObjectCardinalityRestriction, ObjectExactCardinalityRestriction, ObjectMaxCardinalityRestriction, ObjectMinCardinalityRestriction, ObjectOneOf, ObjectProperty, ObjectPropertyAssertion, ObjectPropertyDomainAxiom, ObjectPropertyExpression, ObjectPropertyInverse, ObjectPropertyRangeAxiom, ObjectQuantorRestriction, ObjectSomeRestriction, ObjectValueRestriction, PropertyAssertion, PropertyAxiom, PropertyDomainAxiom, PropertyRangeAxiom, QuantorRestriction, ReflexiveObjectPropertyAxiom, Restriction, StringDatatypePropertyAssertion, StringValueRestriction, SubClassAxiom, SubDatatypePropertyAxiom, SubObjectPropertyAxiom, SymmetricObjectPropertyAxiom, TerminologicalAxiom, Thing, TransitiveObjectPropertyAxiom, TypedConstant, Union, UntypedConstant, ValueRestriction

public interface KBElement
extends Serializable

Interface for all elements of the knowledge base.

Author:

Jens Lehmann

Method Summary

void	accept(KBElementVisitor visitor)
int	getLength() Gets the length of this knowledge base element.
String	toKBSyntaxString(String baseURI, Map<String,String> prefixes)
String	toManchesterSyntaxString(String baseURI, Map<String,String> prefixes)
String	toString(String baseURI, Map<String,String> prefixes)

Method Detail

getLength

int getLength()

Gets the length of this knowledge base element. For instance, A AND B should have length 3 (as three constructs are involved). There are different ways to define the length of an axiom, class description etc., but this method provides a straightforward definition of it.

Returns:

The syntactic length of the KB element, defined as the number of syntactic constructs not including brackets.

toString

String toString(String baseURI,
                Map<String,String> prefixes)

toKBSyntaxString

String toKBSyntaxString(String baseURI,
                        Map<String,String> prefixes)

toManchesterSyntaxString

String toManchesterSyntaxString(String baseURI,
                                Map<String,String> prefixes)

accept

void accept(KBElementVisitor visitor)