org.semanticweb.kaon2.api
Interface KAON2Factory

public interface KAON2Factory

The factory for KAON2 objects.

Nested Class Summary

static interface

KAON2Factory.AxiomIterator An interface for iterating over axioms.

Method Summary

Annotation	annotation(AnnotationProperty annotationProperty, OWLEntity entity, java.lang.Object annotationValue)
AnnotationProperty	annotationProperty(java.lang.String uri)
Axiom	axiom(java.io.Reader reader, Namespaces namespaces)
Axiom	axiom(java.lang.String string, Namespaces namespaces)
KAON2Factory.AxiomIterator	axioms(java.io.Reader reader, Namespaces namespaces)
ClassMember	classMember(Description description, Individual individual)
Constant	constant(java.lang.Object value)
DataAll	dataAll(DataRange dataRange, DataProperty... dataProperties)
DataAll	dataAll(DataRange dataRange, java.util.List<DataProperty> dataProperties)
DataCardinality	dataCardinality(int minimumCardinality, int maximumCardinality, DataProperty dataProperty)
DataHasValue	dataHasValue(DataProperty dataProperty, java.lang.Object literalValue)
DataNot	dataNot(DataRange dataRange)
DataOneOf	dataOneOf(java.util.Collection<java.lang.Object> objects)
DataOneOf	dataOneOf(java.lang.Object[] objects)
DataProperty	dataProperty(java.lang.String uri)
DataPropertyAttribute	dataPropertyAttribute(DataProperty dataProperty, int attribute)
DataPropertyDomain	dataPropertyDomain(DataProperty dataProperty, Description domain)
DataPropertyMember	dataPropertyMember(DataProperty dataProperty, Individual sourceIndividual, java.lang.Object targetValue)
DataPropertyRange	dataPropertyRange(DataProperty dataProperty, DataRange range)
DataRange	dataRange(java.io.Reader reader, int arity, Namespaces namespaces)
DataRange	dataRange(java.lang.String string, int arity, Namespaces namespaces)
DataSome	dataSome(DataRange dataRange, DataProperty... dataProperties)
DataSome	dataSome(DataRange dataRange, java.util.List<DataProperty> dataProperties)
Datatype	datatype(java.lang.String uri, int arity)
Deprecation	deprecation(OWLEntity entity)
Description	description(java.io.Reader reader, Namespaces namespaces)
Description	description(java.lang.String string, Namespaces namespaces)
DifferentIndividuals	differentIndividuals(java.util.Collection<Individual> individuals)
DifferentIndividuals	differentIndividuals(Individual... individuals)
DisjointClasses	disjointClasses(java.util.Collection<Description> descriptions)
DisjointClasses	disjointClasses(Description... descriptions)
NonOWLPredicate	equal()
EquivalentClasses	equivalentClasses(java.util.Collection<Description> descriptions)
EquivalentClasses	equivalentClasses(Description... descriptions)
EquivalentDataProperties	equivalentDataProperties(java.util.Collection<DataProperty> dataProperties)
EquivalentDataProperties	equivalentDataProperties(DataProperty... dataProperties)
EquivalentObjectProperties	equivalentObjectProperties(java.util.Collection<ObjectProperty> objectProperties)
EquivalentObjectProperties	equivalentObjectProperties(ObjectProperty... objectProperties)
NonOWLPredicate	evaluate(int arity)
NonOWLPredicate	hu()
NonOWLPredicate	ifTrue(int arity)
Individual	individual(java.lang.String uri)
InverseObjectProperties	inverseObjectProperties(ObjectProperty first, ObjectProperty second)
Literal	literal(boolean isPositive, Predicate predicate, java.util.List<Term> terms)
Literal	literal(boolean isPositive, Predicate predicate, Term... terms)
NonOWLPredicate	namedObjects()
NonOWLPredicate	nonOWLPredicate(java.lang.String uri, int arity)
NonOWLPredicate	notEqual()
OWLClass	nothing()
ObjectAll	objectAll(ObjectProperty objectProperty, Description description)
ObjectAnd	objectAnd(java.util.Collection<Description> descriptions)
ObjectAnd	objectAnd(Description... descriptions)
ObjectAnd	objectAnd(Description first, Description second)
ObjectCardinality	objectCardinality(int minimumCardinality, int maximumCardinality, ObjectProperty objectProperty, Description description)
ObjectHasValue	objectHasValue(ObjectProperty objectProperty, Individual individual)
ObjectNot	objectNot(Description description)
ObjectOneOf	objectOneOf(java.util.Collection<Individual> individuals)
ObjectOneOf	objectOneOf(Individual... individuals)
ObjectOr	objectOr(java.util.Collection<Description> descriptions)
ObjectOr	objectOr(Description... descriptions)
ObjectOr	objectOr(Description first, Description second)
ObjectProperty	objectProperty(java.lang.String uri)
ObjectPropertyAttribute	objectPropertyAttribute(ObjectProperty objectProperty, int attribute)
ObjectPropertyDomain	objectPropertyDomain(ObjectProperty objectProperty, Description domain)
ObjectPropertyMember	objectPropertyMember(ObjectProperty objectProperty, Individual sourceIndividual, Individual targetIndividual)
ObjectPropertyRange	objectPropertyRange(ObjectProperty objectProperty, Description range)
ObjectSome	objectSome(ObjectProperty objectProperty, Description description)
OWLClass	owlClass(java.lang.String uri)
Datatype	rdfsLiteral(int arity)
Rule	rule(java.util.List<Literal> headLiterals, java.util.List<Literal> bodyLiterals)
Rule	rule(Literal[] headLiterals, Literal[] bodyLiterals)
Rule	rule(Literal headLiteral, java.util.List<Literal> bodyLiterals)
Rule	rule(Literal headLiteral, Literal[] bodyLiterals)
SameIndividual	sameIndividual(java.util.Collection<Individual> individuals)
SameIndividual	sameIndividual(Individual... individuals)
SubClassOf	subClassOf(Description subDescription, Description superDescription)
SubDataPropertyOf	subDataPropertyOf(DataProperty subDataProperty, DataProperty superDataProperty)
SubObjectPropertyOf	subObjectPropertyOf(ObjectProperty subObjectProperty, ObjectProperty superObjectProperty)
OWLClass	thing()
Variable	variable(java.lang.String name)

Method Detail

nonOWLPredicate

NonOWLPredicate nonOWLPredicate(java.lang.String uri,
                                int arity)

variable

Variable variable(java.lang.String name)

constant

Constant constant(java.lang.Object value)

literal

Literal literal(boolean isPositive,
                Predicate predicate,
                Term... terms)

literal

Literal literal(boolean isPositive,
                Predicate predicate,
                java.util.List<Term> terms)

rule

Rule rule(java.util.List<Literal> headLiterals,
          java.util.List<Literal> bodyLiterals)

rule

Rule rule(Literal[] headLiterals,
          Literal[] bodyLiterals)

rule

Rule rule(Literal headLiteral,
          java.util.List<Literal> bodyLiterals)

rule

Rule rule(Literal headLiteral,
          Literal[] bodyLiterals)

annotationProperty

AnnotationProperty annotationProperty(java.lang.String uri)

owlClass

OWLClass owlClass(java.lang.String uri)

thing

OWLClass thing()

nothing

OWLClass nothing()

individual

Individual individual(java.lang.String uri)

dataProperty

DataProperty dataProperty(java.lang.String uri)

objectProperty

ObjectProperty objectProperty(java.lang.String uri)

datatype

Datatype datatype(java.lang.String uri,
                  int arity)

rdfsLiteral

Datatype rdfsLiteral(int arity)

equal

NonOWLPredicate equal()

notEqual

NonOWLPredicate notEqual()

hu

NonOWLPredicate hu()

namedObjects

NonOWLPredicate namedObjects()

evaluate

NonOWLPredicate evaluate(int arity)

ifTrue

NonOWLPredicate ifTrue(int arity)

description

Description description(java.lang.String string,
                        Namespaces namespaces)
                        throws KAON2Exception

Throws:

KAON2Exception

description

Description description(java.io.Reader reader,
                        Namespaces namespaces)
                        throws KAON2Exception

Throws:

KAON2Exception

dataRange

DataRange dataRange(java.lang.String string,
                    int arity,
                    Namespaces namespaces)
                    throws KAON2Exception

Throws:

KAON2Exception

dataRange

DataRange dataRange(java.io.Reader reader,
                    int arity,
                    Namespaces namespaces)
                    throws KAON2Exception

Throws:

KAON2Exception

dataNot

DataNot dataNot(DataRange dataRange)

dataOneOf

DataOneOf dataOneOf(java.util.Collection<java.lang.Object> objects)

dataOneOf

DataOneOf dataOneOf(java.lang.Object[] objects)

dataHasValue

DataHasValue dataHasValue(DataProperty dataProperty,
                          java.lang.Object literalValue)

dataAll

DataAll dataAll(DataRange dataRange,
                java.util.List<DataProperty> dataProperties)

dataAll

DataAll dataAll(DataRange dataRange,
                DataProperty... dataProperties)

dataSome

DataSome dataSome(DataRange dataRange,
                  java.util.List<DataProperty> dataProperties)

dataSome

DataSome dataSome(DataRange dataRange,
                  DataProperty... dataProperties)

dataCardinality

DataCardinality dataCardinality(int minimumCardinality,
                                int maximumCardinality,
                                DataProperty dataProperty)

objectNot

ObjectNot objectNot(Description description)

objectAnd

ObjectAnd objectAnd(java.util.Collection<Description> descriptions)

objectAnd

ObjectAnd objectAnd(Description... descriptions)

objectAnd

ObjectAnd objectAnd(Description first,
                    Description second)

objectOr

ObjectOr objectOr(java.util.Collection<Description> descriptions)

objectOr

ObjectOr objectOr(Description... descriptions)

objectOr

ObjectOr objectOr(Description first,
                  Description second)

objectOneOf

ObjectOneOf objectOneOf(java.util.Collection<Individual> individuals)

objectOneOf

ObjectOneOf objectOneOf(Individual... individuals)

objectHasValue

ObjectHasValue objectHasValue(ObjectProperty objectProperty,
                              Individual individual)

objectAll

ObjectAll objectAll(ObjectProperty objectProperty,
                    Description description)

objectSome

ObjectSome objectSome(ObjectProperty objectProperty,
                      Description description)

objectCardinality

ObjectCardinality objectCardinality(int minimumCardinality,
                                    int maximumCardinality,
                                    ObjectProperty objectProperty,
                                    Description description)

subClassOf

SubClassOf subClassOf(Description subDescription,
                      Description superDescription)

equivalentClasses

EquivalentClasses equivalentClasses(java.util.Collection<Description> descriptions)

equivalentClasses

EquivalentClasses equivalentClasses(Description... descriptions)

disjointClasses

DisjointClasses disjointClasses(java.util.Collection<Description> descriptions)

disjointClasses

DisjointClasses disjointClasses(Description... descriptions)

dataPropertyAttribute

DataPropertyAttribute dataPropertyAttribute(DataProperty dataProperty,
                                            int attribute)

dataPropertyDomain

DataPropertyDomain dataPropertyDomain(DataProperty dataProperty,
                                      Description domain)

dataPropertyRange

DataPropertyRange dataPropertyRange(DataProperty dataProperty,
                                    DataRange range)

subDataPropertyOf

SubDataPropertyOf subDataPropertyOf(DataProperty subDataProperty,
                                    DataProperty superDataProperty)

equivalentDataProperties

EquivalentDataProperties equivalentDataProperties(java.util.Collection<DataProperty> dataProperties)

equivalentDataProperties

EquivalentDataProperties equivalentDataProperties(DataProperty... dataProperties)

objectPropertyAttribute

ObjectPropertyAttribute objectPropertyAttribute(ObjectProperty objectProperty,
                                                int attribute)

objectPropertyDomain

ObjectPropertyDomain objectPropertyDomain(ObjectProperty objectProperty,
                                          Description domain)

objectPropertyRange

ObjectPropertyRange objectPropertyRange(ObjectProperty objectProperty,
                                        Description range)

subObjectPropertyOf

SubObjectPropertyOf subObjectPropertyOf(ObjectProperty subObjectProperty,
                                        ObjectProperty superObjectProperty)

equivalentObjectProperties

EquivalentObjectProperties equivalentObjectProperties(java.util.Collection<ObjectProperty> objectProperties)

equivalentObjectProperties

EquivalentObjectProperties equivalentObjectProperties(ObjectProperty... objectProperties)

inverseObjectProperties

InverseObjectProperties inverseObjectProperties(ObjectProperty first,
                                                ObjectProperty second)

sameIndividual

SameIndividual sameIndividual(java.util.Collection<Individual> individuals)

sameIndividual

SameIndividual sameIndividual(Individual... individuals)

differentIndividuals

DifferentIndividuals differentIndividuals(java.util.Collection<Individual> individuals)

differentIndividuals

DifferentIndividuals differentIndividuals(Individual... individuals)

classMember

ClassMember classMember(Description description,
                        Individual individual)

dataPropertyMember

DataPropertyMember dataPropertyMember(DataProperty dataProperty,
                                      Individual sourceIndividual,
                                      java.lang.Object targetValue)

objectPropertyMember

ObjectPropertyMember objectPropertyMember(ObjectProperty objectProperty,
                                          Individual sourceIndividual,
                                          Individual targetIndividual)

annotation

Annotation annotation(AnnotationProperty annotationProperty,
                      OWLEntity entity,
                      java.lang.Object annotationValue)

deprecation

Deprecation deprecation(OWLEntity entity)

axiom

Axiom axiom(java.lang.String string,
            Namespaces namespaces)
            throws KAON2Exception

Throws:

KAON2Exception

axiom

Axiom axiom(java.io.Reader reader,
            Namespaces namespaces)
            throws KAON2Exception

Throws:

KAON2Exception

axioms

KAON2Factory.AxiomIterator axioms(java.io.Reader reader,
                                  Namespaces namespaces)
                                  throws KAON2Exception

Throws:

KAON2Exception