com.clarkparsia.openrdf.util
Class ExpressionFactory

java.lang.Object
  com.clarkparsia.openrdf.util.ExpressionFactory

public final class ExpressionFactory
extends Object

Factory for creating Expressions which are collections of RDF statements that are equivalent to the OWL axiom(s) they represent as defined by the OWL2 to RDF mapping spec. Some distinctions are not exactly preserved, for example, this only provides a single method for the AllValuesFrom axiom (#allUser) where in the spec there are separate axioms defined for DataAllValuesFrom & ObjectAllValuesFrom. If you need that level of precision, you should use an OWL-centric API such as Ortiz. This class exists on an best effort basis to mirror the mappings defined in the spec and still provide a simple RDF centric (and programmer friendly) interface.

Since:

0.7.3

Version:

0.7

Author:

Michael Grove

See Also:

http://www.w3.org/TR/owl2-mapping-to-rdf/, Expression

Nested Class Summary

static class	ExpressionFactory.ClassExpression An expression about a class
static class	ExpressionFactory.Datatype A datatype expression
static class	ExpressionFactory.Datatypes Class which represents the various different datatypes
static class	ExpressionFactory.ExpressionList<T extends Expression> Expression which represents an rdf:List of other expressions.
static class	ExpressionFactory.Facet Enumeration of the possible facets for a ExpressionFactory.FacetRestriction on a ExpressionFactory.Datatype
static class	ExpressionFactory.FacetRestriction A restriction on a facet of a datatype.
static class	ExpressionFactory.PropertyExpression An expression about a property
static class	ExpressionFactory.RestrictedDatatype A user-defined datatype which has facet restrictions placed on its value

Method Summary

static ExpressionFactory.ClassExpression	all(ExpressionFactory.PropertyExpression theProperty, Expression theResource) Create a new AllValuesFrom expression
static ExpressionFactory.ClassExpression	all(ExpressionFactory.PropertyExpression theProperty, Resource theResource) Create a new AllValuesFrom expression
static ExpressionFactory.ClassExpression	all(URI theProperty, Expression theResource) Create a new AllValuesFrom expression
static ExpressionFactory.ClassExpression	all(URI theProperty, Resource theResource) Create a new AllValuesFrom expression
static ExpressionFactory.ClassExpression	and(ExpressionFactory.ClassExpression... theExpr) Create an And (owl:intersectionOf) expression
static ExpressionFactory.ClassExpression	and(Resource... ex) Create an And (owl:intersectionOf) expression
static ExpressionFactory.PropertyExpression	asymmetricProperty(URI theURI) Create a new owl:AsymmetricProperty expression
static ExpressionFactory.ClassExpression	cardinality(URI theURI, int theCard) Create a new exact cardinality expression
static ExpressionFactory.ClassExpression	cardinality(URI theURI, int theCard, ExpressionFactory.ClassExpression theClass) Create a new exact cardinality expression
static ExpressionFactory.ClassExpression	cardinality(URI theURI, int theCard, Resource theClass) Create a new max cardinality expression
static Expression	classAssertion(Resource theIndividual, Resource theClass) Create a new ClassAssertion(iID, c) expression
static ExpressionFactory.ClassExpression	complementOf(Resource theRes) Return a ComplementOf expression
static ExpressionFactory.PropertyExpression	dataProperty(URI theURI) Create a DataProperty(theURI) expression
static Expression	declareClass(URI theURI) Create a Declaration(OWLClass(theURI)) expression
static Expression	declareDataProperty(URI theURI) Create a Declaration(DataProperty(theURI)) expression
static Expression	declareIndividual(Resource theResource) Create a Declaration(Individual(theResource)) expression
static Expression	declareObjectProperty(URI theURI) Create a Declaration(ObjectProperty(theURI)) expression
static Expression	differentIndividuals(Expression... theIndividuals) Create a new DifferentIndividuals(iID(1) ...
static Expression	differentIndividuals(Resource... theIndividuals) Create a new DifferentIndividuals(iID(1) ...
static Expression	disjointClasses(ExpressionFactory.ClassExpression... theClasses) Create an DisjointClasses expression
static Expression	disjointClasses(Resource... theClasses) Create an DisjointClasses expression
static Expression	disjointDataProperties(URI... theProperties) Create a DisjointDataProperties(...) expression
static Expression	disjointObjectProperties(URI... theProperties) Create a DisjointObjectProperties(...) expression
static Expression	domain(Expression theProperty, Resource theClass) Create a new domain expression
static Expression	domain(URI theProperty, ExpressionFactory.ClassExpression theClass) Create a new domain expression
static Expression	domain(URI theProperty, Resource theClass) Create a new domain expression
static Expression	equivalentClasses(ExpressionFactory.ClassExpression... theClasses) Create an EquivalentClasses expression
static Expression	equivalentClasses(Resource... theClasses) Create an EquivalentClasses expression
static Expression	equivalentProperties(Resource... theProperties) Create an EquivalentProperties expression
static Expression	fromGraph(Graph theGraph) Create an Expression directly from the provided graph.
static Expression	fromStatements(Iterable<Statement> theStatements) Create an Expression directly from the provided set of statements.
static ExpressionFactory.PropertyExpression	functionalProperty(URI theURI) Create a new owl:FunctionalProperty expression
static ExpressionFactory.ClassExpression	hasValue(URI theProperty, Value theValue) Create a new HasValue(...) expression
static ExpressionFactory.PropertyExpression	inverse(ExpressionFactory.PropertyExpression theProp) Create a new owl:inverseObjectPropertyExpression expression
static ExpressionFactory.PropertyExpression	inverse(URI theProp) Create a new owl:inverseObjectPropertyExpression expression
static ExpressionFactory.PropertyExpression	inverseFunctionalProperty(URI theURI) Create a new owl:InverseFunctionalProperty expression
static Expression	inverseOf(ExpressionFactory.PropertyExpression theProperty, ExpressionFactory.PropertyExpression theInverse) Create a new inverseOf expression
static Expression	inverseOf(ExpressionFactory.PropertyExpression theProperty, URI theInverse) Create a new inverseOf expression
static Expression	inverseOf(URI theProperty, ExpressionFactory.PropertyExpression theInverse) Create a new inverseOf expression
static Expression	inverseOf(URI theProperty, URI theInverse) Create a new inverseOf expression
static ExpressionFactory.PropertyExpression	irreflexiveProperty(URI theURI) Create a new owl:IrreflexiveProperty expression
static ExpressionFactory.ClassExpression	max(ExpressionFactory.PropertyExpression theURI, int theCard) Create a new max cardinality expression
static ExpressionFactory.ClassExpression	max(ExpressionFactory.PropertyExpression theURI, int theCard, ExpressionFactory.ClassExpression theClass) Create a new max cardinality expression
static ExpressionFactory.ClassExpression	max(URI theURI, int theCard) Create a new max cardinality expression
static ExpressionFactory.ClassExpression	max(URI theURI, int theCard, ExpressionFactory.ClassExpression theClass) Create a new max cardinality expression
static ExpressionFactory.ClassExpression	max(URI theURI, int theCard, Resource theClass) Create a new max cardinality expression
static ExpressionFactory.ClassExpression	min(ExpressionFactory.PropertyExpression theURI, int theCard) Create a new min cardinality expression
static ExpressionFactory.ClassExpression	min(ExpressionFactory.PropertyExpression theURI, int theCard, ExpressionFactory.ClassExpression theClass) Create a new min cardinality expression
static ExpressionFactory.ClassExpression	min(URI theURI, int theCard) Create a new min cardinality expression
static ExpressionFactory.ClassExpression	min(URI theURI, int theCard, ExpressionFactory.ClassExpression theClass) Create a new min cardinality expression
static ExpressionFactory.ClassExpression	min(URI theURI, int theCard, Resource theClass) Create a new min cardinality expression
static ExpressionFactory.ClassExpression	namedClass(URI theURI) Create a new named class
static Expression	negativeDataPropertyAssertion(Resource theSubject, URI thePredicate, Value theObject) Create a new NegativeDataPropertyAssertion
static Expression	negativeObjectPropertyAssertion(Resource theSubject, URI thePredicate, Value theObject) Create a new NegativeObjectPropertyAssertion
static ExpressionFactory.PropertyExpression	objectProperty(URI theURI) Create a ObjectProperty(theURI) expression
static ExpressionFactory.ClassExpression	or(ExpressionFactory.ClassExpression... theExpr) Create an Or (owl:unionOf) expression
static ExpressionFactory.ClassExpression	or(Resource... ex) Create an Or (owl:unionOf) expression
static ExpressionFactory.ExpressionList<ExpressionFactory.PropertyExpression>	propertyList(ExpressionFactory.PropertyExpression... theExpr) Create a new property list
static ExpressionFactory.ExpressionList<ExpressionFactory.PropertyExpression>	propertyList(URI... theProps) Create a new property list
static Expression	range(ExpressionFactory.PropertyExpression theProperty, Resource theClass) Create a new range expression
static Expression	range(URI theProperty, ExpressionFactory.ClassExpression theClass) Create a new range expression
static Expression	range(URI theProperty, Resource theClass) Create a new range expression
static ExpressionFactory.PropertyExpression	reflexiveProperty(URI theURI) Create a new owl:ReflexiveProperty expression
static ExpressionFactory.RestrictedDatatype	restrict(ExpressionFactory.Datatype theDatatype, ExpressionFactory.FacetRestriction... theRestrictions) Create a new RestrictedDatatype
static Expression	sameIndividuals(Resource... theIndividuals) Create a new SameIndividual(iID(1) ...
static ExpressionFactory.ClassExpression	some(ExpressionFactory.PropertyExpression theProperty, Expression theResource) Create a new SomeValuesFrom expression
static ExpressionFactory.ClassExpression	some(URI theProperty, Expression theResource) Create a new SomeValuesFrom expression
static ExpressionFactory.ClassExpression	some(URI theProperty, Resource theResource) Create a new SomeValuesFrom expression
static Expression	subClassOf(ExpressionFactory.ClassExpression sub, ExpressionFactory.ClassExpression sup) Create a new subClassOf expression
static Expression	subClassOf(ExpressionFactory.ClassExpression sub, Resource sup) Create a new subClassOf expression
static Expression	subClassOf(Resource sub, ExpressionFactory.ClassExpression sup) Create a new subClassOf expression
static Expression	subClassOf(Resource sub, Resource sup) Create a new subClassOf expression
static Expression	subPropertyOf(ExpressionFactory.ExpressionList<ExpressionFactory.PropertyExpression> theList, ExpressionFactory.PropertyExpression theProperty) Create a new subPropertyOf expression for a property chain axiom.
static Expression	subPropertyOf(ExpressionFactory.PropertyExpression theSub, ExpressionFactory.PropertyExpression theSuper) Create a new subClassOf expression
static Expression	subPropertyOf(ExpressionFactory.PropertyExpression theSub, URI theSuper) Create a new subPropertyOf expression
static Expression	subPropertyOf(URI theSub, ExpressionFactory.PropertyExpression theSuper) Create a new subClassOf expression
static Expression	subPropertyOf(URI theSub, URI theSuper) Create a new subPropertyOf expression
static ExpressionFactory.PropertyExpression	symmetricProperty(URI theURI) Create a new owl:SymmetricProperty expression
static ExpressionFactory.PropertyExpression	transitiveProperty(URI theURI) Create a new owl:TransitiveProperty expression
static Expression	type(Resource theInd, ExpressionFactory.ClassExpression theClass) Create a new type assertion expression
static Expression	type(Resource theInd, URI theClass) Create a new type assertion expression

Methods inherited from class java.lang.Object

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

Method Detail

type

public static Expression type(Resource theInd,
                              URI theClass)

Create a new type assertion expression

Parameters:

theInd - the individual

theClass - the type of the individual

Returns:

a new type assertion expression

type

public static Expression type(Resource theInd,
                              ExpressionFactory.ClassExpression theClass)

Create a new type assertion expression

Parameters:

theInd - the individual

theClass - the type of the individual

Returns:

a new type assertion expression

fromGraph

public static Expression fromGraph(Graph theGraph)

Create an Expression directly from the provided graph. Use at your own risk, no checking is performed to see if all the statements in the graph correspond to well formed axioms.

Parameters:

theGraph - the graph of statements corresponding to one or more axioms.

Returns:

a new expression

fromStatements

public static Expression fromStatements(Iterable<Statement> theStatements)

Create an Expression directly from the provided set of statements. Use at your own risk, no checking is performed to see if all the statements in the graph correspond to well formed axioms.

Parameters:

theStatements - the collection of statements corresponding to one or more axioms.

Returns:

a new expression

namedClass

public static ExpressionFactory.ClassExpression namedClass(URI theURI)

Create a new named class

Parameters:

theURI - the URI of the class

Returns:

a named class expression.

transitiveProperty

public static ExpressionFactory.PropertyExpression transitiveProperty(URI theURI)

Create a new owl:TransitiveProperty expression

Parameters:

theURI - the property URI

Returns:

the expression

reflexiveProperty

public static ExpressionFactory.PropertyExpression reflexiveProperty(URI theURI)

Create a new owl:ReflexiveProperty expression

Parameters:

theURI - the property URI

Returns:

the expression

irreflexiveProperty

public static ExpressionFactory.PropertyExpression irreflexiveProperty(URI theURI)

Create a new owl:IrreflexiveProperty expression

Parameters:

theURI - the property URI

Returns:

the expression

symmetricProperty

public static ExpressionFactory.PropertyExpression symmetricProperty(URI theURI)

Create a new owl:SymmetricProperty expression

Parameters:

theURI - the property URI

Returns:

the expression

asymmetricProperty

public static ExpressionFactory.PropertyExpression asymmetricProperty(URI theURI)

Create a new owl:AsymmetricProperty expression

Parameters:

theURI - the property URI

Returns:

the expression

functionalProperty

public static ExpressionFactory.PropertyExpression functionalProperty(URI theURI)

Create a new owl:FunctionalProperty expression

Parameters:

theURI - the property URI

Returns:

the expression

inverseFunctionalProperty

public static ExpressionFactory.PropertyExpression inverseFunctionalProperty(URI theURI)

Create a new owl:InverseFunctionalProperty expression

Parameters:

theURI - the property URI

Returns:

the expression

inverse

public static ExpressionFactory.PropertyExpression inverse(URI theProp)

Create a new owl:inverseObjectPropertyExpression expression

Parameters:

theProp - the property to state the inverse expression about

Returns:

the expression

inverse

public static ExpressionFactory.PropertyExpression inverse(ExpressionFactory.PropertyExpression theProp)

Create a new owl:inverseObjectPropertyExpression expression

Parameters:

theProp - the property to state the inverse expression about

Returns:

the expression

subClassOf

public static Expression subClassOf(Resource sub,
                                    Resource sup)

Create a new subClassOf expression

Parameters:

sub - the subclass

sup - the super class

Returns:

the expression

subClassOf

public static Expression subClassOf(ExpressionFactory.ClassExpression sub,
                                    ExpressionFactory.ClassExpression sup)

Create a new subClassOf expression

Parameters:

sub - the subclass

sup - the super class

Returns:

the expression

subClassOf

public static Expression subClassOf(ExpressionFactory.ClassExpression sub,
                                    Resource sup)

Create a new subClassOf expression

Parameters:

sub - the subclass

sup - the super class

Returns:

the expression

subClassOf

public static Expression subClassOf(Resource sub,
                                    ExpressionFactory.ClassExpression sup)

Create a new subClassOf expression

Parameters:

sub - the subclass

sup - the super class

Returns:

the expression

range

public static Expression range(URI theProperty,
                               Resource theClass)

Create a new range expression

Parameters:

theProperty - the property

theClass - the range of the property

Returns:

the expression

range

public static Expression range(ExpressionFactory.PropertyExpression theProperty,
                               Resource theClass)

Create a new range expression

Parameters:

theProperty - the property

theClass - the range of the property

Returns:

the expression

range

public static Expression range(URI theProperty,
                               ExpressionFactory.ClassExpression theClass)

Create a new range expression

Parameters:

theProperty - the property

theClass - the range of the property

Returns:

the expression

domain

public static Expression domain(URI theProperty,
                                Resource theClass)

Create a new domain expression

Parameters:

theProperty - the property

theClass - the domain of the property

Returns:

the expression

domain

public static Expression domain(Expression theProperty,
                                Resource theClass)

Create a new domain expression

Parameters:

theProperty - the property

theClass - the domain of the property

Returns:

the expression

domain

public static Expression domain(URI theProperty,
                                ExpressionFactory.ClassExpression theClass)

Create a new domain expression

Parameters:

theProperty - the property

theClass - the domain of the property

Returns:

the expression

some

public static ExpressionFactory.ClassExpression some(URI theProperty,
                                                     Resource theResource)

Create a new SomeValuesFrom expression

Parameters:

theProperty - the property

theResource - the value restriction

Returns:

the expression

some

public static ExpressionFactory.ClassExpression some(URI theProperty,
                                                     Expression theResource)

Create a new SomeValuesFrom expression

Parameters:

theProperty - the property

theResource - the value restriction

Returns:

the expression

some

public static ExpressionFactory.ClassExpression some(ExpressionFactory.PropertyExpression theProperty,
                                                     Expression theResource)

Create a new SomeValuesFrom expression

Parameters:

theProperty - the property expression

theResource - the value restriction

Returns:

the expression

all

public static ExpressionFactory.ClassExpression all(URI theProperty,
                                                    Resource theResource)

Create a new AllValuesFrom expression

Parameters:

theProperty - the property

theResource - the value restriction

Returns:

the expression

all

public static ExpressionFactory.ClassExpression all(ExpressionFactory.PropertyExpression theProperty,
                                                    Resource theResource)

Create a new AllValuesFrom expression

Parameters:

theProperty - the property expression

theResource - the value restriction

Returns:

the expression

all

public static ExpressionFactory.ClassExpression all(URI theProperty,
                                                    Expression theResource)

Create a new AllValuesFrom expression

Parameters:

theProperty - the property

theResource - the value restriction

Returns:

the expression

all

public static ExpressionFactory.ClassExpression all(ExpressionFactory.PropertyExpression theProperty,
                                                    Expression theResource)

Create a new AllValuesFrom expression

Parameters:

theProperty - the property

theResource - the value restriction

Returns:

the expression

hasValue

public static ExpressionFactory.ClassExpression hasValue(URI theProperty,
                                                         Value theValue)

Create a new HasValue(...) expression

Parameters:

theProperty - the property

theValue - the value of the property

Returns:

the expression

min

public static ExpressionFactory.ClassExpression min(URI theURI,
                                                    int theCard)

Create a new min cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the min cardinality

Returns:

the expression

min

public static ExpressionFactory.ClassExpression min(URI theURI,
                                                    int theCard,
                                                    Resource theClass)

Create a new min cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the min cardinality

theClass - the class the restriction applies to

Returns:

the expression

min

public static ExpressionFactory.ClassExpression min(URI theURI,
                                                    int theCard,
                                                    ExpressionFactory.ClassExpression theClass)

Create a new min cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the min cardinality

theClass - the class the restriction applies to

Returns:

the expression

min

public static ExpressionFactory.ClassExpression min(ExpressionFactory.PropertyExpression theURI,
                                                    int theCard)

Create a new min cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the min cardinality

Returns:

the expression

min

public static ExpressionFactory.ClassExpression min(ExpressionFactory.PropertyExpression theURI,
                                                    int theCard,
                                                    ExpressionFactory.ClassExpression theClass)

Create a new min cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the min cardinality

theClass - the class the restriction applies to

Returns:

the expression

max

public static ExpressionFactory.ClassExpression max(ExpressionFactory.PropertyExpression theURI,
                                                    int theCard)

Create a new max cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the max cardinality

Returns:

the expression

max

public static ExpressionFactory.ClassExpression max(ExpressionFactory.PropertyExpression theURI,
                                                    int theCard,
                                                    ExpressionFactory.ClassExpression theClass)

Create a new max cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the max cardinality

theClass - the class the restriction applies to

Returns:

the expression

max

public static ExpressionFactory.ClassExpression max(URI theURI,
                                                    int theCard)

Create a new max cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the max cardinality

Returns:

the expression

max

public static ExpressionFactory.ClassExpression max(URI theURI,
                                                    int theCard,
                                                    Resource theClass)

Create a new max cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the max cardinality

theClass - the class the restriction applies to

Returns:

the expression

max

public static ExpressionFactory.ClassExpression max(URI theURI,
                                                    int theCard,
                                                    ExpressionFactory.ClassExpression theClass)

Create a new max cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the max cardinality

theClass - the class the restriction applies to

Returns:

the expression

cardinality

public static ExpressionFactory.ClassExpression cardinality(URI theURI,
                                                            int theCard)

Create a new exact cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the exact cardinality

Returns:

the expression

cardinality

public static ExpressionFactory.ClassExpression cardinality(URI theURI,
                                                            int theCard,
                                                            Resource theClass)

Create a new max cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the max cardinality

theClass - the class the restriction applies to

Returns:

the expression

cardinality

public static ExpressionFactory.ClassExpression cardinality(URI theURI,
                                                            int theCard,
                                                            ExpressionFactory.ClassExpression theClass)

Create a new exact cardinality expression

Parameters:

theURI - the property the cardinality applies to

theCard - the exact cardinality

theClass - the class the restriction applies to

Returns:

the expression

or

public static ExpressionFactory.ClassExpression or(ExpressionFactory.ClassExpression... theExpr)

Create an Or (owl:unionOf) expression

Parameters:

theExpr - the values in the Or

Returns:

the expression

or

public static ExpressionFactory.ClassExpression or(Resource... ex)

Create an Or (owl:unionOf) expression

Parameters:

ex - the values in the Or

Returns:

the expression

and

public static ExpressionFactory.ClassExpression and(ExpressionFactory.ClassExpression... theExpr)

Create an And (owl:intersectionOf) expression

Parameters:

theExpr - the values in the And

Returns:

the expression

and

public static ExpressionFactory.ClassExpression and(Resource... ex)

Create an And (owl:intersectionOf) expression

Parameters:

ex - the values in the And

Returns:

the expression

complementOf

public static ExpressionFactory.ClassExpression complementOf(Resource theRes)

Return a ComplementOf expression

Parameters:

theRes - the complement

Returns:

the expression

disjointClasses

public static Expression disjointClasses(ExpressionFactory.ClassExpression... theClasses)

Create an DisjointClasses expression

Parameters:

theClasses - the values which are disjoint

Returns:

the expression

disjointClasses

public static Expression disjointClasses(Resource... theClasses)

Create an DisjointClasses expression

Parameters:

theClasses - the values which are disjoint

Returns:

the expression

equivalentClasses

public static Expression equivalentClasses(ExpressionFactory.ClassExpression... theClasses)

Create an EquivalentClasses expression

Parameters:

theClasses - the values which are equivalent

Returns:

the express

equivalentClasses

public static Expression equivalentClasses(Resource... theClasses)

Create an EquivalentClasses expression

Parameters:

theClasses - the values which are equivalent

Returns:

the expression

equivalentProperties

public static Expression equivalentProperties(Resource... theProperties)

Create an EquivalentProperties expression

Parameters:

theProperties - the values which are equivalent

Returns:

the expression

classAssertion

public static Expression classAssertion(Resource theIndividual,
                                        Resource theClass)

Create a new ClassAssertion(iID, c) expression

Parameters:

theIndividual - the individual

theClass - the class

Returns:

the expression

differentIndividuals

public static Expression differentIndividuals(Resource... theIndividuals)

Create a new DifferentIndividuals(iID(1) ... iID(n)) expression

Parameters:

theIndividuals - the individuals

Returns:

the expression

differentIndividuals

public static Expression differentIndividuals(Expression... theIndividuals)

Create a new DifferentIndividuals(iID(1) ... iID(n)) expression

Parameters:

theIndividuals - the individuals

Returns:

the expression

disjointDataProperties

public static Expression disjointDataProperties(URI... theProperties)

Create a DisjointDataProperties(...) expression

Parameters:

theProperties - the disjoint properties

Returns:

the expression

disjointObjectProperties

public static Expression disjointObjectProperties(URI... theProperties)

Create a DisjointObjectProperties(...) expression

Parameters:

theProperties - the disjoint properties

Returns:

the expression

sameIndividuals

public static Expression sameIndividuals(Resource... theIndividuals)

Create a new SameIndividual(iID(1) ... iID(n)) expression

Parameters:

theIndividuals - the individuals

Returns:

the expression

negativeObjectPropertyAssertion

public static Expression negativeObjectPropertyAssertion(Resource theSubject,
                                                         URI thePredicate,
                                                         Value theObject)

Create a new NegativeObjectPropertyAssertion

Parameters:

theSubject - the subject of the assertion

thePredicate - the predicate of the assertion

theObject - the object of the assertion

Returns:

the expression

negativeDataPropertyAssertion

public static Expression negativeDataPropertyAssertion(Resource theSubject,
                                                       URI thePredicate,
                                                       Value theObject)

Create a new NegativeDataPropertyAssertion

Parameters:

theSubject - the subject of the assertion

thePredicate - the predicate of the assertion

theObject - the object of the assertion

Returns:

the expression

dataProperty

public static ExpressionFactory.PropertyExpression dataProperty(URI theURI)

Create a DataProperty(theURI) expression

Parameters:

theURI - the the resource

Returns:

the expression

objectProperty

public static ExpressionFactory.PropertyExpression objectProperty(URI theURI)

Create a ObjectProperty(theURI) expression

Parameters:

theURI - the the resource

Returns:

the expression

declareClass

public static Expression declareClass(URI theURI)

Create a Declaration(OWLClass(theURI)) expression

Parameters:

theURI - the the resource

Returns:

the expression

declareObjectProperty

public static Expression declareObjectProperty(URI theURI)

Create a Declaration(ObjectProperty(theURI)) expression

Parameters:

theURI - the the resource

Returns:

the expression

declareDataProperty

public static Expression declareDataProperty(URI theURI)

Create a Declaration(DataProperty(theURI)) expression

Parameters:

theURI - the the resource

Returns:

the expression

declareIndividual

public static Expression declareIndividual(Resource theResource)

Create a Declaration(Individual(theResource)) expression

Parameters:

theResource - the the resource

Returns:

the expression

subPropertyOf

public static Expression subPropertyOf(ExpressionFactory.ExpressionList<ExpressionFactory.PropertyExpression> theList,
                                       ExpressionFactory.PropertyExpression theProperty)

Create a new subPropertyOf expression for a property chain axiom.

Parameters:

theList - the property list

theProperty - the property

Returns:

the expression

subPropertyOf

public static Expression subPropertyOf(URI theSub,
                                       URI theSuper)

Create a new subPropertyOf expression

Parameters:

theSub - the sub property

theSuper - the super property

Returns:

the expression

subPropertyOf

public static Expression subPropertyOf(ExpressionFactory.PropertyExpression theSub,
                                       ExpressionFactory.PropertyExpression theSuper)

Create a new subClassOf expression

Parameters:

theSub - the sub property

theSuper - the super property

Returns:

the expression

propertyList

public static ExpressionFactory.ExpressionList<ExpressionFactory.PropertyExpression> propertyList(URI... theProps)

Create a new property list

Parameters:

theProps - the properties in the list

Returns:

the property list expression

propertyList

public static ExpressionFactory.ExpressionList<ExpressionFactory.PropertyExpression> propertyList(ExpressionFactory.PropertyExpression... theExpr)

Create a new property list

Parameters:

theExpr - the properties in the list

Returns:

the property list expression

subPropertyOf

public static Expression subPropertyOf(ExpressionFactory.PropertyExpression theSub,
                                       URI theSuper)

Create a new subPropertyOf expression

Parameters:

theSub - the sub property

theSuper - the super property

Returns:

the expression

subPropertyOf

public static Expression subPropertyOf(URI theSub,
                                       ExpressionFactory.PropertyExpression theSuper)

Create a new subClassOf expression

Parameters:

theSub - the sub property

theSuper - the super property

Returns:

the expression

inverseOf

public static Expression inverseOf(URI theProperty,
                                   URI theInverse)

Create a new inverseOf expression

Parameters:

theProperty - the property

theInverse - the inverse property

Returns:

the expression

inverseOf

public static Expression inverseOf(ExpressionFactory.PropertyExpression theProperty,
                                   ExpressionFactory.PropertyExpression theInverse)

Create a new inverseOf expression

Parameters:

theProperty - the property

theInverse - the inverse property

Returns:

the expression

inverseOf

public static Expression inverseOf(ExpressionFactory.PropertyExpression theProperty,
                                   URI theInverse)

Create a new inverseOf expression

Parameters:

theProperty - the property

theInverse - the inverse property

Returns:

the expression

inverseOf

public static Expression inverseOf(URI theProperty,
                                   ExpressionFactory.PropertyExpression theInverse)

Create a new inverseOf expression

Parameters:

theProperty - the property

theInverse - the inverse property

Returns:

the expression

restrict

public static ExpressionFactory.RestrictedDatatype restrict(ExpressionFactory.Datatype theDatatype,
                                                            ExpressionFactory.FacetRestriction... theRestrictions)

Create a new RestrictedDatatype

Parameters:

theDatatype - the datatype

theRestrictions - the restrictions on the datatype

Returns:

the new RestrictedDatatype