Package org.semanticweb.owlapi.apibinding

Class OWLFunctionalSyntaxFactory

java.lang.Object

org.semanticweb.owlapi.apibinding.OWLFunctionalSyntaxFactory

public final class OWLFunctionalSyntaxFactory
extends Object

A utility class whose methods may be statically imported so that OWL API objects can be constructed by writing code that looks like the OWL 2 Functional Syntax.
Note that this class is primarily intended for developers who need to write test cases. Normal client code should probably use an OWLDataFactory for creating objects.

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Method Summary

Modifier and Type	Method	Description
static OWLAnnotation	Annotation(OWLAnnotationProperty property, OWLAnnotationValue value)
static OWLAnnotation	Annotation(OWLAnnotationProperty property, OWLAnnotationValue value, Collection<OWLAnnotation> anns)
static OWLAnnotation	Annotation(OWLAnnotationProperty property, OWLAnnotationValue value, OWLAnnotation... anns)
static OWLAnnotationAssertionAxiom	AnnotationAssertion(OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value)
static OWLAnnotationAssertionAxiom	AnnotationAssertion(OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value, Collection<OWLAnnotation> set)
static OWLAnnotationAssertionAxiom	AnnotationAssertion(OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value, OWLAnnotation... set)
static OWLAnnotationProperty	AnnotationProperty(String abbreviatedIRI, PrefixManager pm)
static OWLAnnotationProperty	AnnotationProperty(IRI iri)
static OWLAnnotationPropertyDomainAxiom	AnnotationPropertyDomain(OWLAnnotationProperty property, String iri)
static OWLAnnotationPropertyDomainAxiom	AnnotationPropertyDomain(OWLAnnotationProperty property, IRI iri)
static OWLAnnotationPropertyRangeAxiom	AnnotationPropertyRange(OWLAnnotationProperty property, String iri)
static OWLAnnotationPropertyRangeAxiom	AnnotationPropertyRange(OWLAnnotationProperty property, IRI iri)
static OWLAnonymousIndividual	AnonymousIndividual()
static OWLAnonymousIndividual	AnonymousIndividual(String id)
static OWLAsymmetricObjectPropertyAxiom	AsymmetricObjectProperty(OWLObjectPropertyExpression property)
static OWLAsymmetricObjectPropertyAxiom	AsymmetricObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)
static OWLDatatype	Boolean()
static OWLClass	Class(String abbreviatedIRI, PrefixManager pm)
static OWLClass	Class(IRI iri)
static OWLClassAssertionAxiom	ClassAssertion(OWLClassExpression ce, OWLIndividual ind)
static OWLClassAssertionAxiom	ClassAssertion(OWLClassExpression ce, OWLIndividual ind, Collection<OWLAnnotation> a)
static OWLAnnotationProperty	createAnnotationProperty()
static OWLClass	createClass()
static OWLDataProperty	createDataProperty()
static OWLNamedIndividual	createIndividual()
static OWLObjectProperty	createObjectProperty()
static OWLLiteral	createOWLLiteral()
static OWLDataAllValuesFrom	DataAllValuesFrom(OWLDataPropertyExpression pe, OWLDataRange dr)
static OWLDataComplementOf	DataComplementOf(OWLDataRange dataRange)
static OWLDataExactCardinality	DataExactCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr)
static OWLDataHasValue	DataHasValue(OWLDataPropertyExpression pe, OWLLiteral literal)
static OWLDataIntersectionOf	DataIntersectionOf(OWLDataRange... dataRanges)
static OWLDataMaxCardinality	DataMaxCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr)
static OWLDataMinCardinality	DataMinCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr)
static OWLDataOneOf	DataOneOf(OWLLiteral... literals)
static OWLDataProperty	DataProperty(String abbreviatedIRI, PrefixManager pm)
static OWLDataProperty	DataProperty(IRI iri)
static OWLDataPropertyAssertionAxiom	DataPropertyAssertion(OWLDataPropertyExpression property, OWLIndividual source, OWLLiteral target)
static OWLDataPropertyAssertionAxiom	DataPropertyAssertion(OWLDataPropertyExpression property, OWLIndividual source, OWLLiteral target, Collection<OWLAnnotation> a)
static OWLDataPropertyDomainAxiom	DataPropertyDomain(OWLDataPropertyExpression property, OWLClassExpression domain)
static OWLDataPropertyDomainAxiom	DataPropertyDomain(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> a)
static OWLDataPropertyRangeAxiom	DataPropertyRange(OWLDataPropertyExpression property, OWLDataRange range)
static OWLDataPropertyRangeAxiom	DataPropertyRange(OWLDataPropertyExpression property, OWLDataRange range, Collection<OWLAnnotation> a)
static OWLDataSomeValuesFrom	DataSomeValuesFrom(OWLDataPropertyExpression pe, OWLDataRange dr)
static OWLDatatype	Datatype(IRI iri)
static OWLDatatypeDefinitionAxiom	DatatypeDefinition(OWLDatatype datatype, OWLDataRange dataRange)
static OWLDatatypeRestriction	DatatypeRestriction(OWLDatatype datatype, OWLFacetRestriction... facetRestrictions)
static OWLDataUnionOf	DataUnionOf(OWLDataRange... dataRanges)
static OWLDeclarationAxiom	Declaration(OWLEntity entity)
static OWLDeclarationAxiom	Declaration(OWLEntity entity, Collection<OWLAnnotation> a)
static OWLDeclarationAxiom	Declaration(OWLEntity entity, OWLAnnotation... a)
static OWLDifferentIndividualsAxiom	DifferentIndividuals(Collection<? extends OWLIndividual> individuals)
static OWLDifferentIndividualsAxiom	DifferentIndividuals(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> a)
static OWLDifferentIndividualsAxiom	DifferentIndividuals(OWLIndividual... individuals)
static OWLDisjointClassesAxiom	DisjointClasses(Collection<? extends OWLClassExpression> classExpressions)
static OWLDisjointClassesAxiom	DisjointClasses(Collection<OWLAnnotation> a, OWLClassExpression... classExpressions)
static OWLDisjointClassesAxiom	DisjointClasses(Collection<OWLClassExpression> classExpressions, Collection<OWLAnnotation> a)
static OWLDisjointClassesAxiom	DisjointClasses(OWLClassExpression... classExpressions)
static OWLDisjointDataPropertiesAxiom	DisjointDataProperties(Collection<OWLAnnotation> a, OWLDataPropertyExpression... properties)
static OWLDisjointDataPropertiesAxiom	DisjointDataProperties(OWLDataPropertyExpression... properties)
static OWLDisjointObjectPropertiesAxiom	DisjointObjectProperties(Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties)
static OWLDisjointObjectPropertiesAxiom	DisjointObjectProperties(OWLObjectPropertyExpression... properties)
static OWLDisjointUnionAxiom	DisjointUnion(OWLClass cls, OWLClassExpression... classExpressions)
static OWLDatatype	Double()
static OWLEquivalentClassesAxiom	EquivalentClasses(Collection<OWLAnnotation> a, OWLClassExpression... classExpressions)
static OWLEquivalentClassesAxiom	EquivalentClasses(OWLClassExpression... classExpressions)
static OWLEquivalentDataPropertiesAxiom	EquivalentDataProperties(Collection<OWLAnnotation> a, OWLDataPropertyExpression... properties)
static OWLEquivalentDataPropertiesAxiom	EquivalentDataProperties(OWLDataPropertyExpression... properties)
static OWLEquivalentObjectPropertiesAxiom	EquivalentObjectProperties(Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties)
static OWLEquivalentObjectPropertiesAxiom	EquivalentObjectProperties(OWLObjectPropertyExpression... properties)
static OWLFacetRestriction	FacetRestriction(OWLFacet facet, OWLLiteral facetValue)
static OWLDatatype	Float()
static OWLFunctionalDataPropertyAxiom	FunctionalDataProperty(OWLDataPropertyExpression property)
static OWLFunctionalDataPropertyAxiom	FunctionalDataProperty(OWLDataPropertyExpression property, Collection<OWLAnnotation> a)
static OWLFunctionalObjectPropertyAxiom	FunctionalObjectProperty(OWLObjectPropertyExpression property)
static OWLFunctionalObjectPropertyAxiom	FunctionalObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)
static OWLHasKeyAxiom	HasKey(Collection<OWLAnnotation> a, OWLClassExpression classExpression, OWLPropertyExpression... propertyExpressions)
static OWLHasKeyAxiom	HasKey(OWLClassExpression classExpression, OWLPropertyExpression... propertyExpressions)
static OWLImportsDeclaration	ImportsDeclaration(IRI i)
static OWLDatatype	Integer()
static OWLInverseFunctionalObjectPropertyAxiom	InverseFunctionalObjectProperty(OWLObjectPropertyExpression property)
static OWLInverseFunctionalObjectPropertyAxiom	InverseFunctionalObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)
static OWLInverseObjectPropertiesAxiom	InverseObjectProperties(OWLObjectPropertyExpression peA, OWLObjectPropertyExpression peB)
static IRI	IRI(String iri)
static IRI	IRI(String ns, String fragment)
static OWLIrreflexiveObjectPropertyAxiom	IrreflexiveObjectProperty(OWLObjectPropertyExpression property)
static OWLIrreflexiveObjectPropertyAxiom	IrreflexiveObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)
static OWLLiteral	Literal(boolean literal)
static OWLLiteral	Literal(double literal)
static OWLLiteral	Literal(float literal)
static OWLLiteral	Literal(int literal)
static OWLLiteral	Literal(String literal)
static OWLLiteral	Literal(String literal, String lang)
static OWLLiteral	Literal(String literal, OWLDatatype type)
static OWLLiteral	Literal(String literal, OWL2Datatype type)
static OWLNamedIndividual	NamedIndividual(String abbreviatedIRI, PrefixManager pm)
static OWLNamedIndividual	NamedIndividual(IRI iri)
static OWLNegativeDataPropertyAssertionAxiom	NegativeDataPropertyAssertion(OWLDataPropertyExpression property, OWLIndividual source, OWLLiteral target)
static OWLNegativeDataPropertyAssertionAxiom	NegativeDataPropertyAssertion(OWLDataPropertyExpression property, OWLIndividual source, OWLLiteral target, Collection<OWLAnnotation> a)
static OWLNegativeObjectPropertyAssertionAxiom	NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target)
static OWLNegativeObjectPropertyAssertionAxiom	NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target, Collection<OWLAnnotation> a)
static OWLObjectAllValuesFrom	ObjectAllValuesFrom(OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectComplementOf	ObjectComplementOf(OWLClassExpression classExpression)
static OWLObjectExactCardinality	ObjectExactCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectHasSelf	ObjectHasSelf(OWLObjectPropertyExpression pe)
static OWLObjectHasValue	ObjectHasValue(OWLObjectPropertyExpression pe, OWLIndividual individual)
static OWLObjectIntersectionOf	ObjectIntersectionOf(OWLClassExpression... classExpressions)
static OWLObjectInverseOf	ObjectInverseOf(OWLObjectProperty pe)
static OWLObjectMaxCardinality	ObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectMinCardinality	ObjectMinCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectOneOf	ObjectOneOf(OWLIndividual... individuals)
static OWLObjectProperty	ObjectProperty(String abbreviatedIRI, PrefixManager pm)
static OWLObjectProperty	ObjectProperty(IRI iri)
static OWLObjectPropertyAssertionAxiom	ObjectPropertyAssertion(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target)
static OWLObjectPropertyAssertionAxiom	ObjectPropertyAssertion(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target, Collection<OWLAnnotation> a)
static OWLObjectPropertyDomainAxiom	ObjectPropertyDomain(OWLObjectPropertyExpression property, OWLClassExpression domain)
static OWLObjectPropertyDomainAxiom	ObjectPropertyDomain(OWLObjectPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> a)
static OWLObjectPropertyRangeAxiom	ObjectPropertyRange(OWLObjectPropertyExpression property, OWLClassExpression range)
static OWLObjectPropertyRangeAxiom	ObjectPropertyRange(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> a)
static OWLObjectSomeValuesFrom	ObjectSomeValuesFrom(OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectUnionOf	ObjectUnionOf(OWLClassExpression... classExpressions)
static OWLOntology	Ontology(OWLOntologyManager man, OWLAxiom... axioms)
static OWLClass	OWLNothing()
static OWLClass	OWLThing()
static OWLDatatype	PlainLiteral()
static OWLLiteral	PlainLiteral(String literal)
static OWLAnnotationProperty	RDFSComment()
static OWLAnnotationProperty	RDFSLabel()
static OWLReflexiveObjectPropertyAxiom	ReflexiveObjectProperty(OWLObjectPropertyExpression property)
static OWLReflexiveObjectPropertyAxiom	ReflexiveObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)
static OWLSameIndividualAxiom	SameIndividual(Collection<? extends OWLIndividual> individuals)
static OWLSameIndividualAxiom	SameIndividual(OWLIndividual... individuals)
static OWLSubAnnotationPropertyOfAxiom	SubAnnotationPropertyOf(OWLAnnotationProperty subProperty, OWLAnnotationProperty superProperty)
static OWLSubClassOfAxiom	SubClassOf(OWLClassExpression subClass, OWLClassExpression superClass)
static OWLSubClassOfAxiom	SubClassOf(OWLClassExpression subClass, OWLClassExpression superClass, Collection<OWLAnnotation> a)
static OWLSubDataPropertyOfAxiom	SubDataPropertyOf(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty)
static OWLSubDataPropertyOfAxiom	SubDataPropertyOf(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty, Collection<OWLAnnotation> a)
static OWLSubObjectPropertyOfAxiom	SubObjectPropertyOf(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty)
static OWLSubObjectPropertyOfAxiom	SubObjectPropertyOf(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a)
static OWLSubPropertyChainOfAxiom	SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
static OWLSubPropertyChainOfAxiom	SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a)
static OWLSymmetricObjectPropertyAxiom	SymmetricObjectProperty(OWLObjectPropertyExpression property)
static OWLSymmetricObjectPropertyAxiom	SymmetricObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)
static OWLDatatype	TopDatatype()
static OWLTransitiveObjectPropertyAxiom	TransitiveObjectProperty(OWLObjectPropertyExpression property)
static OWLTransitiveObjectPropertyAxiom	TransitiveObjectProperty(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

ImportsDeclaration

public static OWLImportsDeclaration ImportsDeclaration(IRI i)

Class

public static OWLClass Class(IRI iri)

createClass

public static OWLClass createClass()

createObjectProperty

public static OWLObjectProperty createObjectProperty()

createDataProperty

public static OWLDataProperty createDataProperty()

createIndividual

public static OWLNamedIndividual createIndividual()

createAnnotationProperty

public static OWLAnnotationProperty createAnnotationProperty()

createOWLLiteral

public static OWLLiteral createOWLLiteral()

Class

public static OWLClass Class(String abbreviatedIRI,
 PrefixManager pm)

RDFSComment

public static OWLAnnotationProperty RDFSComment()

RDFSLabel

public static OWLAnnotationProperty RDFSLabel()

TopDatatype

public static OWLDatatype TopDatatype()

OWLThing

public static OWLClass OWLThing()

Integer

public static OWLDatatype Integer()

Double

public static OWLDatatype Double()

Float

public static OWLDatatype Float()

Boolean

public static OWLDatatype Boolean()

OWLNothing

public static OWLClass OWLNothing()

ObjectProperty

public static OWLObjectProperty ObjectProperty(IRI iri)

ObjectProperty

public static OWLObjectProperty ObjectProperty(String abbreviatedIRI,
 PrefixManager pm)

ObjectInverseOf

public static OWLObjectInverseOf ObjectInverseOf(OWLObjectProperty pe)

DataProperty

public static OWLDataProperty DataProperty(IRI iri)

DataProperty

public static OWLDataProperty DataProperty(String abbreviatedIRI,
 PrefixManager pm)

AnnotationProperty

public static OWLAnnotationProperty AnnotationProperty(IRI iri)

AnnotationProperty

public static OWLAnnotationProperty AnnotationProperty(String abbreviatedIRI,
 PrefixManager pm)

NamedIndividual

public static OWLNamedIndividual NamedIndividual(IRI iri)

AnonymousIndividual

public static OWLAnonymousIndividual AnonymousIndividual()

AnonymousIndividual

public static OWLAnonymousIndividual AnonymousIndividual(String id)

NamedIndividual

public static OWLNamedIndividual NamedIndividual(String abbreviatedIRI,
 PrefixManager pm)

Datatype

public static OWLDatatype Datatype(IRI iri)

Declaration

public static OWLDeclarationAxiom Declaration(OWLEntity entity)

Declaration

public static OWLDeclarationAxiom Declaration(OWLEntity entity,
 Collection<OWLAnnotation> a)

Declaration

public static OWLDeclarationAxiom Declaration(OWLEntity entity,
 OWLAnnotation... a)

ObjectIntersectionOf

public static OWLObjectIntersectionOf ObjectIntersectionOf(OWLClassExpression... classExpressions)

ObjectUnionOf

public static OWLObjectUnionOf ObjectUnionOf(OWLClassExpression... classExpressions)

ObjectComplementOf

public static OWLObjectComplementOf ObjectComplementOf(OWLClassExpression classExpression)

ObjectSomeValuesFrom

public static OWLObjectSomeValuesFrom ObjectSomeValuesFrom(OWLObjectPropertyExpression pe,
 OWLClassExpression ce)

ObjectAllValuesFrom

public static OWLObjectAllValuesFrom ObjectAllValuesFrom(OWLObjectPropertyExpression pe,
 OWLClassExpression ce)

ObjectHasValue

public static OWLObjectHasValue ObjectHasValue(OWLObjectPropertyExpression pe,
 OWLIndividual individual)

ObjectMinCardinality

public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality,
 OWLObjectPropertyExpression pe,
 OWLClassExpression ce)

ObjectMaxCardinality

public static OWLObjectMaxCardinality ObjectMaxCardinality(int cardinality,
 OWLObjectPropertyExpression pe,
 OWLClassExpression ce)

ObjectExactCardinality

public static OWLObjectExactCardinality ObjectExactCardinality(int cardinality,
 OWLObjectPropertyExpression pe,
 OWLClassExpression ce)

ObjectHasSelf

public static OWLObjectHasSelf ObjectHasSelf(OWLObjectPropertyExpression pe)

ObjectOneOf

public static OWLObjectOneOf ObjectOneOf(OWLIndividual... individuals)

DataSomeValuesFrom

public static OWLDataSomeValuesFrom DataSomeValuesFrom(OWLDataPropertyExpression pe,
 OWLDataRange dr)

DataAllValuesFrom

public static OWLDataAllValuesFrom DataAllValuesFrom(OWLDataPropertyExpression pe,
 OWLDataRange dr)

DataHasValue

public static OWLDataHasValue DataHasValue(OWLDataPropertyExpression pe,
 OWLLiteral literal)

DataMinCardinality

public static OWLDataMinCardinality DataMinCardinality(int cardinality,
 OWLDataPropertyExpression pe,
 OWLDataRange dr)

DataMaxCardinality

public static OWLDataMaxCardinality DataMaxCardinality(int cardinality,
 OWLDataPropertyExpression pe,
 OWLDataRange dr)

DataExactCardinality

public static OWLDataExactCardinality DataExactCardinality(int cardinality,
 OWLDataPropertyExpression pe,
 OWLDataRange dr)

DataIntersectionOf

public static OWLDataIntersectionOf DataIntersectionOf(OWLDataRange... dataRanges)

DataUnionOf

public static OWLDataUnionOf DataUnionOf(OWLDataRange... dataRanges)

DataComplementOf

public static OWLDataComplementOf DataComplementOf(OWLDataRange dataRange)

DataOneOf

public static OWLDataOneOf DataOneOf(OWLLiteral... literals)

DatatypeRestriction

public static OWLDatatypeRestriction DatatypeRestriction(OWLDatatype datatype,
 OWLFacetRestriction... facetRestrictions)

FacetRestriction

public static OWLFacetRestriction FacetRestriction(OWLFacet facet,
 OWLLiteral facetValue)

SubClassOf

public static OWLSubClassOfAxiom SubClassOf(OWLClassExpression subClass,
 OWLClassExpression superClass)

SubClassOf

public static OWLSubClassOfAxiom SubClassOf(OWLClassExpression subClass,
 OWLClassExpression superClass,
 Collection<OWLAnnotation> a)

EquivalentClasses

public static OWLEquivalentClassesAxiom EquivalentClasses(OWLClassExpression... classExpressions)

EquivalentClasses

public static OWLEquivalentClassesAxiom EquivalentClasses(Collection<OWLAnnotation> a,
 OWLClassExpression... classExpressions)

DisjointClasses

public static OWLDisjointClassesAxiom DisjointClasses(OWLClassExpression... classExpressions)

DisjointClasses

public static OWLDisjointClassesAxiom DisjointClasses(Collection<? extends OWLClassExpression> classExpressions)

DisjointClasses

public static OWLDisjointClassesAxiom DisjointClasses(Collection<OWLClassExpression> classExpressions,
 Collection<OWLAnnotation> a)

DisjointUnion

public static OWLDisjointUnionAxiom DisjointUnion(OWLClass cls,
 OWLClassExpression... classExpressions)

DisjointClasses

public static OWLDisjointClassesAxiom DisjointClasses(Collection<OWLAnnotation> a,
 OWLClassExpression... classExpressions)

SubObjectPropertyOf

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(OWLObjectPropertyExpression subProperty,
 OWLObjectPropertyExpression superProperty)

SubPropertyChainOf

public static OWLSubPropertyChainOfAxiom SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
 OWLObjectPropertyExpression superProperty)

SubPropertyChainOf

public static OWLSubPropertyChainOfAxiom SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
 OWLObjectPropertyExpression superProperty,
 Collection<OWLAnnotation> a)

SubObjectPropertyOf

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(OWLObjectPropertyExpression subProperty,
 OWLObjectPropertyExpression superProperty,
 Collection<OWLAnnotation> a)

EquivalentObjectProperties

public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(OWLObjectPropertyExpression... properties)

EquivalentObjectProperties

public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(Collection<OWLAnnotation> a,
 OWLObjectPropertyExpression... properties)

DisjointObjectProperties

public static OWLDisjointObjectPropertiesAxiom DisjointObjectProperties(OWLObjectPropertyExpression... properties)

DisjointObjectProperties

public static OWLDisjointObjectPropertiesAxiom DisjointObjectProperties(Collection<OWLAnnotation> a,
 OWLObjectPropertyExpression... properties)

InverseObjectProperties

public static OWLInverseObjectPropertiesAxiom InverseObjectProperties(OWLObjectPropertyExpression peA,
 OWLObjectPropertyExpression peB)

ObjectPropertyDomain

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(OWLObjectPropertyExpression property,
 OWLClassExpression domain)

ObjectPropertyDomain

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(OWLObjectPropertyExpression property,
 OWLClassExpression domain,
 Collection<OWLAnnotation> a)

ObjectPropertyRange

public static OWLObjectPropertyRangeAxiom ObjectPropertyRange(OWLObjectPropertyExpression property,
 OWLClassExpression range)

ObjectPropertyRange

public static OWLObjectPropertyRangeAxiom ObjectPropertyRange(OWLObjectPropertyExpression property,
 OWLClassExpression range,
 Collection<OWLAnnotation> a)

FunctionalObjectProperty

public static OWLFunctionalObjectPropertyAxiom FunctionalObjectProperty(OWLObjectPropertyExpression property)

FunctionalObjectProperty

public static OWLFunctionalObjectPropertyAxiom FunctionalObjectProperty(OWLObjectPropertyExpression property,
 Collection<OWLAnnotation> a)

InverseFunctionalObjectProperty

public static OWLInverseFunctionalObjectPropertyAxiom InverseFunctionalObjectProperty(OWLObjectPropertyExpression property)

InverseFunctionalObjectProperty

public static OWLInverseFunctionalObjectPropertyAxiom InverseFunctionalObjectProperty(OWLObjectPropertyExpression property,
 Collection<OWLAnnotation> a)

ReflexiveObjectProperty

public static OWLReflexiveObjectPropertyAxiom ReflexiveObjectProperty(OWLObjectPropertyExpression property)

ReflexiveObjectProperty

public static OWLReflexiveObjectPropertyAxiom ReflexiveObjectProperty(OWLObjectPropertyExpression property,
 Collection<OWLAnnotation> a)

IrreflexiveObjectProperty

public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty(OWLObjectPropertyExpression property)

IrreflexiveObjectProperty

public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty(OWLObjectPropertyExpression property,
 Collection<OWLAnnotation> a)

SymmetricObjectProperty

public static OWLSymmetricObjectPropertyAxiom SymmetricObjectProperty(OWLObjectPropertyExpression property)

SymmetricObjectProperty

public static OWLSymmetricObjectPropertyAxiom SymmetricObjectProperty(OWLObjectPropertyExpression property,
 Collection<OWLAnnotation> a)

AsymmetricObjectProperty

public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty(OWLObjectPropertyExpression property)

AsymmetricObjectProperty

public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty(OWLObjectPropertyExpression property,
 Collection<OWLAnnotation> a)

TransitiveObjectProperty

public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty(OWLObjectPropertyExpression property)

TransitiveObjectProperty

public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty(OWLObjectPropertyExpression property,
 Collection<OWLAnnotation> a)

SubDataPropertyOf

public static OWLSubDataPropertyOfAxiom SubDataPropertyOf(OWLDataPropertyExpression subProperty,
 OWLDataPropertyExpression superProperty)

SubDataPropertyOf

public static OWLSubDataPropertyOfAxiom SubDataPropertyOf(OWLDataPropertyExpression subProperty,
 OWLDataPropertyExpression superProperty,
 Collection<OWLAnnotation> a)

EquivalentDataProperties

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(OWLDataPropertyExpression... properties)

EquivalentDataProperties

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(Collection<OWLAnnotation> a,
 OWLDataPropertyExpression... properties)

DisjointDataProperties

public static OWLDisjointDataPropertiesAxiom DisjointDataProperties(OWLDataPropertyExpression... properties)

DisjointDataProperties

public static OWLDisjointDataPropertiesAxiom DisjointDataProperties(Collection<OWLAnnotation> a,
 OWLDataPropertyExpression... properties)

DataPropertyDomain

public static OWLDataPropertyDomainAxiom DataPropertyDomain(OWLDataPropertyExpression property,
 OWLClassExpression domain)

DataPropertyDomain

public static OWLDataPropertyDomainAxiom DataPropertyDomain(OWLDataPropertyExpression property,
 OWLClassExpression domain,
 Collection<OWLAnnotation> a)

DataPropertyRange

public static OWLDataPropertyRangeAxiom DataPropertyRange(OWLDataPropertyExpression property,
 OWLDataRange range)

DataPropertyRange

public static OWLDataPropertyRangeAxiom DataPropertyRange(OWLDataPropertyExpression property,
 OWLDataRange range,
 Collection<OWLAnnotation> a)

FunctionalDataProperty

public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(OWLDataPropertyExpression property)

FunctionalDataProperty

public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(OWLDataPropertyExpression property,
 Collection<OWLAnnotation> a)

DatatypeDefinition

public static OWLDatatypeDefinitionAxiom DatatypeDefinition(OWLDatatype datatype,
 OWLDataRange dataRange)

HasKey

public static OWLHasKeyAxiom HasKey(OWLClassExpression classExpression,
 OWLPropertyExpression... propertyExpressions)

HasKey

public static OWLHasKeyAxiom HasKey(Collection<OWLAnnotation> a,
 OWLClassExpression classExpression,
 OWLPropertyExpression... propertyExpressions)

SameIndividual

public static OWLSameIndividualAxiom SameIndividual(OWLIndividual... individuals)

DifferentIndividuals

public static OWLDifferentIndividualsAxiom DifferentIndividuals(OWLIndividual... individuals)

DifferentIndividuals

public static OWLDifferentIndividualsAxiom DifferentIndividuals(Collection<? extends OWLIndividual> individuals,
 Collection<OWLAnnotation> a)

SameIndividual

public static OWLSameIndividualAxiom SameIndividual(Collection<? extends OWLIndividual> individuals)

DifferentIndividuals

public static OWLDifferentIndividualsAxiom DifferentIndividuals(Collection<? extends OWLIndividual> individuals)

ClassAssertion

public static OWLClassAssertionAxiom ClassAssertion(OWLClassExpression ce,
 OWLIndividual ind,
 Collection<OWLAnnotation> a)

ClassAssertion

public static OWLClassAssertionAxiom ClassAssertion(OWLClassExpression ce,
 OWLIndividual ind)

ObjectPropertyAssertion

public static OWLObjectPropertyAssertionAxiom ObjectPropertyAssertion(OWLObjectPropertyExpression property,
 OWLIndividual source,
 OWLIndividual target)

ObjectPropertyAssertion

public static OWLObjectPropertyAssertionAxiom ObjectPropertyAssertion(OWLObjectPropertyExpression property,
 OWLIndividual source,
 OWLIndividual target,
 Collection<OWLAnnotation> a)

NegativeObjectPropertyAssertion

public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property,
 OWLIndividual source,
 OWLIndividual target)

NegativeObjectPropertyAssertion

public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property,
 OWLIndividual source,
 OWLIndividual target,
 Collection<OWLAnnotation> a)

DataPropertyAssertion

public static OWLDataPropertyAssertionAxiom DataPropertyAssertion(OWLDataPropertyExpression property,
 OWLIndividual source,
 OWLLiteral target)

DataPropertyAssertion

public static OWLDataPropertyAssertionAxiom DataPropertyAssertion(OWLDataPropertyExpression property,
 OWLIndividual source,
 OWLLiteral target,
 Collection<OWLAnnotation> a)

NegativeDataPropertyAssertion

public static OWLNegativeDataPropertyAssertionAxiom NegativeDataPropertyAssertion(OWLDataPropertyExpression property,
 OWLIndividual source,
 OWLLiteral target)

NegativeDataPropertyAssertion

public static OWLNegativeDataPropertyAssertionAxiom NegativeDataPropertyAssertion(OWLDataPropertyExpression property,
 OWLIndividual source,
 OWLLiteral target,
 Collection<OWLAnnotation> a)

AnnotationAssertion

public static OWLAnnotationAssertionAxiom AnnotationAssertion(OWLAnnotationProperty property,
 OWLAnnotationSubject subject,
 OWLAnnotationValue value)

AnnotationAssertion

public static OWLAnnotationAssertionAxiom AnnotationAssertion(OWLAnnotationProperty property,
 OWLAnnotationSubject subject,
 OWLAnnotationValue value,
 Collection<OWLAnnotation> set)

AnnotationAssertion

public static OWLAnnotationAssertionAxiom AnnotationAssertion(OWLAnnotationProperty property,
 OWLAnnotationSubject subject,
 OWLAnnotationValue value,
 OWLAnnotation... set)

Annotation

public static OWLAnnotation Annotation(OWLAnnotationProperty property,
 OWLAnnotationValue value)

Annotation

public static OWLAnnotation Annotation(OWLAnnotationProperty property,
 OWLAnnotationValue value,
 Collection<OWLAnnotation> anns)

Annotation

public static OWLAnnotation Annotation(OWLAnnotationProperty property,
 OWLAnnotationValue value,
 OWLAnnotation... anns)

SubAnnotationPropertyOf

public static OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf(OWLAnnotationProperty subProperty,
 OWLAnnotationProperty superProperty)

AnnotationPropertyDomain

public static OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain(OWLAnnotationProperty property,
 IRI iri)

AnnotationPropertyRange

public static OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange(OWLAnnotationProperty property,
 IRI iri)

AnnotationPropertyDomain

public static OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain(OWLAnnotationProperty property,
 String iri)

AnnotationPropertyRange

public static OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange(OWLAnnotationProperty property,
 String iri)

IRI

public static IRI IRI(String iri)

IRI

public static IRI IRI(String ns,
 String fragment)

PlainLiteral

public static OWLLiteral PlainLiteral(String literal)

PlainLiteral

public static OWLDatatype PlainLiteral()

Literal

public static OWLLiteral Literal(String literal,
 @Nullable
 String lang)

Literal

public static OWLLiteral Literal(String literal,
 OWLDatatype type)

Literal

public static OWLLiteral Literal(String literal,
 OWL2Datatype type)

Literal

public static OWLLiteral Literal(String literal)

Literal

public static OWLLiteral Literal(boolean literal)

Literal

public static OWLLiteral Literal(int literal)

Literal

public static OWLLiteral Literal(double literal)

Literal

public static OWLLiteral Literal(float literal)

Ontology

public static OWLOntology Ontology(OWLOntologyManager man,
 OWLAxiom... axioms)