public final class Axioms extends Object
Factory for creating axioms
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 (all(IRI, Resource)
)
where in the spec there are separate axioms defined for DataAllValuesFrom and 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.
Axiom
Modifier and Type | Class and Description |
---|---|
static class |
Axioms.Datatypes
Class which represents the various different datatypes
|
static class |
Axioms.ExpressionList<T extends Axiom>
Expression which represents an rdf:List of other expressions.
|
static class |
Axioms.Facet
Enumeration of the possible facets for a
Axioms.FacetRestriction on a Axiom.NamedDatatype |
static class |
Axioms.FacetRestriction
A restriction on a facet of a datatype.
|
static class |
Axioms.RestrictedDatatype
A user-defined datatype which has facet restrictions placed on its value
|
Modifier and Type | Method and Description |
---|---|
static Axiom.ClassExpression |
all(Axiom.PropertyExpression theProperty,
Axiom theResource)
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
all(Axiom.PropertyExpression theProperty,
Resource theResource)
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
all(IRI theProperty,
Axiom theResource)
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
all(IRI theProperty,
Resource theResource)
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
and(Axiom.ClassExpression... theExpr)
Create an And (owl:intersectionOf) expression
|
static Axiom.ClassExpression |
and(Resource... ex)
Create an And (owl:intersectionOf) expression
|
static Axiom.PropertyExpression |
asymmetricProperty(IRI theURI)
Create a new owl:AsymmetricProperty expression
|
static Axiom.ClassExpression |
cardinality(IRI theURI,
int theCard)
Create a new exact cardinality expression
|
static Axiom.ClassExpression |
cardinality(IRI theURI,
int theCard,
Axiom.ClassExpression theClass)
Create a new exact cardinality expression
|
static Axiom.ClassExpression |
cardinality(IRI theURI,
int theCard,
Resource theClass)
Create a new max cardinality expression
|
static Axiom |
classAssertion(Resource theIndividual,
Resource theClass)
Create a new ClassAssertion(iID, c) expression
|
static Axiom.ClassExpression |
complementOf(Resource theRes)
Return a ComplementOf expression
|
static Axiom.PropertyExpression |
dataProperty(IRI theURI)
Create a DataProperty(theURI) expression
|
static Axiom |
declareClass(IRI theURI)
Create a Declaration(OWLClass(theURI)) expression
|
static Axiom |
declareDataProperty(IRI theURI)
Create a Declaration(DataProperty(theURI)) expression
|
static Axiom |
declareIndividual(Resource theResource)
Create a Declaration(Individual(theResource)) expression
|
static Axiom |
declareObjectProperty(IRI theURI)
Create a Declaration(ObjectProperty(theURI)) expression
|
static Axiom |
differentIndividuals(Axiom... theIndividuals)
Create a new DifferentIndividuals(iID(1) ...
|
static Axiom |
differentIndividuals(Resource... theIndividuals)
Create a new DifferentIndividuals(iID(1) ...
|
static Axiom |
disjointClasses(Axiom.ClassExpression... theClasses)
Create an DisjointClasses expression
|
static Axiom |
disjointClasses(Resource... theClasses)
Create an DisjointClasses expression
|
static Axiom |
disjointDataProperties(IRI... theProperties)
Create a DisjointDataProperties(...) expression
|
static Axiom |
disjointObjectProperties(IRI... theProperties)
Create a DisjointObjectProperties(...) expression
|
static Axiom |
domain(Axiom.PropertyExpression theProperty,
Resource theClass)
Create a new domain expression
|
static Axiom |
domain(IRI theProperty,
Axiom.ClassExpression theClass)
Create a new domain expression
|
static Axiom |
domain(IRI theProperty,
Resource theClass)
Create a new domain expression
|
static Axiom |
equivalentClasses(Axiom.ClassExpression... theClasses)
Create an EquivalentClasses expression
|
static Axiom |
equivalentClasses(Resource... theClasses)
Create an EquivalentClasses expression
|
static Axiom |
equivalentProperties(Resource... theProperties)
Create an EquivalentProperties expression
|
static Axiom |
fromStatements(Iterable<Statement> theStatements)
Create an Expression directly from the provided set of statements.
|
static Axiom |
fromStatements(Statement... theStatements) |
static Axiom.PropertyExpression |
functionalProperty(IRI theURI)
Create a new owl:FunctionalProperty expression
|
static Axiom.ClassExpression |
hasValue(IRI theProperty,
Value theValue)
Create a new HasValue(...) expression
|
static Axiom.PropertyExpression |
inverse(Axiom.PropertyExpression theProp)
Create a new owl:inverseObjectPropertyExpression expression
|
static Axiom.PropertyExpression |
inverse(IRI theProp)
Create a new owl:inverseObjectPropertyExpression expression
|
static Axiom.PropertyExpression |
inverseFunctionalProperty(IRI theURI)
Create a new owl:InverseFunctionalProperty expression
|
static Axiom |
inverseOf(Axiom.PropertyExpression theProperty,
Axiom.PropertyExpression theInverse)
Create a new inverseOf expression
|
static Axiom |
inverseOf(Axiom.PropertyExpression theProperty,
IRI theInverse)
Create a new inverseOf expression
|
static Axiom |
inverseOf(IRI theProperty,
Axiom.PropertyExpression theInverse)
Create a new inverseOf expression
|
static Axiom |
inverseOf(IRI theProperty,
IRI theInverse)
Create a new inverseOf expression
|
static Axiom.PropertyExpression |
irreflexiveProperty(IRI theURI)
Create a new owl:IrreflexiveProperty expression
|
static Axiom.ClassExpression |
max(Axiom.PropertyExpression theURI,
int theCard)
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(Axiom.PropertyExpression theURI,
int theCard,
Axiom.ClassExpression theClass)
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(IRI theURI,
int theCard)
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(IRI theURI,
int theCard,
Axiom.ClassExpression theClass)
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(IRI theURI,
int theCard,
Resource theClass)
Create a new max cardinality expression
|
static Axiom.ClassExpression |
min(Axiom.PropertyExpression theURI,
int theCard)
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(Axiom.PropertyExpression theURI,
int theCard,
Axiom.ClassExpression theClass)
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(IRI theURI,
int theCard)
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(IRI theURI,
int theCard,
Axiom.ClassExpression theClass)
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(IRI theURI,
int theCard,
Resource theClass)
Create a new min cardinality expression
|
static Axiom.ClassExpression |
namedClass(IRI theURI)
Create a new named class
|
static Axiom |
negativeDataPropertyAssertion(Resource theSubject,
IRI thePredicate,
Value theObject)
Create a new NegativeDataPropertyAssertion
|
static Axiom |
negativeObjectPropertyAssertion(Resource theSubject,
IRI thePredicate,
Value theObject)
Create a new NegativeObjectPropertyAssertion
|
static Axiom.PropertyExpression |
objectProperty(IRI theURI)
Create a ObjectProperty(theURI) expression
|
static Axiom.Datatype |
oneOf(Literal... ex)
Create an enumerated datatype (owl:oneOf)
|
static Axiom.ClassExpression |
oneOf(Resource... ex)
Create an enumerated class (owl:oneOf)
|
static Axiom.ClassExpression |
or(Axiom.ClassExpression... theExpr)
Create an Or (owl:unionOf) expression
|
static Axiom.ClassExpression |
or(Resource... ex)
Create an Or (owl:unionOf) expression
|
static Axioms.ExpressionList<Axiom.PropertyExpression> |
propertyList(Axiom.PropertyExpression... theExpr)
Create a new property list
|
static Axioms.ExpressionList<Axiom.PropertyExpression> |
propertyList(IRI... theProps)
Create a new property list
|
static Axiom |
range(Axiom.PropertyExpression theProperty,
Resource theClass)
Create a new range expression
|
static Axiom |
range(IRI theProperty,
Axiom.ClassExpression theClass)
Create a new range expression
|
static Axiom |
range(IRI theProperty,
Axiom.Datatype theRange)
Create a new range expression
|
static Axiom |
range(IRI theProperty,
Resource theClass)
Create a new range expression
|
static Axiom.PropertyExpression |
reflexiveProperty(IRI theURI)
Create a new owl:ReflexiveProperty expression
|
static Axioms.RestrictedDatatype |
restrict(Axiom.NamedDatatype theDatatype,
Axioms.FacetRestriction... theRestrictions)
Create a new RestrictedDatatype
|
static Axiom |
rule(String theRuleBody)
Create a new rule expression in Stardog rules syntax.
|
static Axiom |
sameIndividuals(Resource... theIndividuals)
Create a new SameIndividual(iID(1) ...
|
static Axiom.ClassExpression |
some(Axiom.PropertyExpression theProperty,
Axiom theResource)
Create a new SomeValuesFrom expression
|
static Axiom.ClassExpression |
some(IRI theProperty,
Axiom theResource)
Create a new SomeValuesFrom expression
|
static Axiom.ClassExpression |
some(IRI theProperty,
Resource theResource)
Create a new SomeValuesFrom expression
|
static Axiom |
subClassOf(Axiom.ClassExpression sub,
Axiom.ClassExpression sup)
Create a new subClassOf expression
|
static Axiom |
subClassOf(Axiom.ClassExpression sub,
Resource sup)
Create a new subClassOf expression
|
static Axiom |
subClassOf(Resource sub,
Axiom.ClassExpression sup)
Create a new subClassOf expression
|
static Axiom |
subClassOf(Resource sub,
Resource sup)
Create a new subClassOf expression
|
static Axiom |
subPropertyOf(Axiom.PropertyExpression theSub,
Axiom.PropertyExpression theSuper)
Create a new subClassOf expression
|
static Axiom |
subPropertyOf(Axiom.PropertyExpression theSub,
IRI theSuper)
Create a new subPropertyOf expression
|
static Axiom |
subPropertyOf(Axioms.ExpressionList<Axiom.PropertyExpression> theList,
Axiom.PropertyExpression theProperty)
Create a new subPropertyOf expression for a property chain axiom.
|
static Axiom |
subPropertyOf(IRI theSub,
Axiom.PropertyExpression theSuper)
Create a new subClassOf expression
|
static Axiom |
subPropertyOf(IRI theSub,
IRI theSuper)
Create a new subPropertyOf expression
|
static Axiom.PropertyExpression |
symmetricProperty(IRI theURI)
Create a new owl:SymmetricProperty expression
|
static Axiom.PropertyExpression |
transitiveProperty(IRI theURI)
Create a new owl:TransitiveProperty expression
|
static Axiom |
type(Resource theInd,
Axiom.ClassExpression theClass)
Create a new type assertion expression
|
static Axiom |
type(Resource theInd,
IRI theClass)
Create a new type assertion expression
|
public static Axiom rule(String theRuleBody)
theRuleBody
- the rule bodypublic static Axiom type(Resource theInd, IRI theClass)
theInd
- the individualtheClass
- the type of the individualpublic static Axiom type(Resource theInd, Axiom.ClassExpression theClass)
theInd
- the individualtheClass
- the type of the individualpublic static Axiom fromStatements(Iterable<Statement> theStatements)
theStatements
- the collection of statements corresponding to one or more axioms.public static Axiom.ClassExpression namedClass(IRI theURI)
theURI
- the URI of the classpublic static Axiom.PropertyExpression transitiveProperty(IRI theURI)
theURI
- the property URIpublic static Axiom.PropertyExpression reflexiveProperty(IRI theURI)
theURI
- the property URIpublic static Axiom.PropertyExpression irreflexiveProperty(IRI theURI)
theURI
- the property URIpublic static Axiom.PropertyExpression symmetricProperty(IRI theURI)
theURI
- the property URIpublic static Axiom.PropertyExpression asymmetricProperty(IRI theURI)
theURI
- the property URIpublic static Axiom.PropertyExpression functionalProperty(IRI theURI)
theURI
- the property URIpublic static Axiom.PropertyExpression inverseFunctionalProperty(IRI theURI)
theURI
- the property URIpublic static Axiom.PropertyExpression inverse(IRI theProp)
theProp
- the property to state the inverse expression aboutpublic static Axiom.PropertyExpression inverse(Axiom.PropertyExpression theProp)
theProp
- the property to state the inverse expression aboutpublic static Axiom subClassOf(Resource sub, Resource sup)
sub
- the subclasssup
- the super classpublic static Axiom subClassOf(Axiom.ClassExpression sub, Axiom.ClassExpression sup)
sub
- the subclasssup
- the super classpublic static Axiom subClassOf(Axiom.ClassExpression sub, Resource sup)
sub
- the subclasssup
- the super classpublic static Axiom subClassOf(Resource sub, Axiom.ClassExpression sup)
sub
- the subclasssup
- the super classpublic static Axiom range(IRI theProperty, Resource theClass)
theProperty
- the propertytheClass
- the range of the propertypublic static Axiom range(Axiom.PropertyExpression theProperty, Resource theClass)
theProperty
- the propertytheClass
- the range of the propertypublic static Axiom range(IRI theProperty, Axiom.ClassExpression theClass)
theProperty
- the propertytheClass
- the range of the propertypublic static Axiom range(IRI theProperty, Axiom.Datatype theRange)
theProperty
- the propertytheRange
- the range of the propertypublic static Axiom domain(IRI theProperty, Resource theClass)
theProperty
- the propertytheClass
- the domain of the propertypublic static Axiom domain(Axiom.PropertyExpression theProperty, Resource theClass)
theProperty
- the propertytheClass
- the domain of the propertypublic static Axiom domain(IRI theProperty, Axiom.ClassExpression theClass)
theProperty
- the propertytheClass
- the domain of the propertypublic static Axiom.ClassExpression some(IRI theProperty, Resource theResource)
theProperty
- the propertytheResource
- the value restrictionpublic static Axiom.ClassExpression some(IRI theProperty, Axiom theResource)
theProperty
- the propertytheResource
- the value restrictionpublic static Axiom.ClassExpression some(Axiom.PropertyExpression theProperty, Axiom theResource)
theProperty
- the property expressiontheResource
- the value restrictionpublic static Axiom.ClassExpression all(IRI theProperty, Resource theResource)
theProperty
- the propertytheResource
- the value restrictionpublic static Axiom.ClassExpression all(Axiom.PropertyExpression theProperty, Resource theResource)
theProperty
- the property expressiontheResource
- the value restrictionpublic static Axiom.ClassExpression all(IRI theProperty, Axiom theResource)
theProperty
- the propertytheResource
- the value restrictionpublic static Axiom.ClassExpression all(Axiom.PropertyExpression theProperty, Axiom theResource)
theProperty
- the propertytheResource
- the value restrictionpublic static Axiom.ClassExpression hasValue(IRI theProperty, Value theValue)
theProperty
- the propertytheValue
- the value of the propertypublic static Axiom.ClassExpression min(IRI theURI, int theCard)
theURI
- the property the cardinality applies totheCard
- the min cardinalitypublic static Axiom.ClassExpression min(IRI theURI, int theCard, Resource theClass)
theURI
- the property the cardinality applies totheCard
- the min cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression min(IRI theURI, int theCard, Axiom.ClassExpression theClass)
theURI
- the property the cardinality applies totheCard
- the min cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression min(Axiom.PropertyExpression theURI, int theCard)
theURI
- the property the cardinality applies totheCard
- the min cardinalitypublic static Axiom.ClassExpression min(Axiom.PropertyExpression theURI, int theCard, Axiom.ClassExpression theClass)
theURI
- the property the cardinality applies totheCard
- the min cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression max(Axiom.PropertyExpression theURI, int theCard)
theURI
- the property the cardinality applies totheCard
- the max cardinalitypublic static Axiom.ClassExpression max(Axiom.PropertyExpression theURI, int theCard, Axiom.ClassExpression theClass)
theURI
- the property the cardinality applies totheCard
- the max cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression max(IRI theURI, int theCard)
theURI
- the property the cardinality applies totheCard
- the max cardinalitypublic static Axiom.ClassExpression max(IRI theURI, int theCard, Resource theClass)
theURI
- the property the cardinality applies totheCard
- the max cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression max(IRI theURI, int theCard, Axiom.ClassExpression theClass)
theURI
- the property the cardinality applies totheCard
- the max cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression cardinality(IRI theURI, int theCard)
theURI
- the property the cardinality applies totheCard
- the exact cardinalitypublic static Axiom.ClassExpression cardinality(IRI theURI, int theCard, Resource theClass)
theURI
- the property the cardinality applies totheCard
- the max cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression cardinality(IRI theURI, int theCard, Axiom.ClassExpression theClass)
theURI
- the property the cardinality applies totheCard
- the exact cardinalitytheClass
- the class the restriction applies topublic static Axiom.ClassExpression or(Axiom.ClassExpression... theExpr)
theExpr
- the values in the Orpublic static Axiom.ClassExpression or(Resource... ex)
ex
- the values in the Orpublic static Axiom.ClassExpression and(Axiom.ClassExpression... theExpr)
theExpr
- the values in the Andpublic static Axiom.ClassExpression and(Resource... ex)
ex
- the values in the Andpublic static Axiom.ClassExpression complementOf(Resource theRes)
theRes
- the complementpublic static Axiom disjointClasses(Axiom.ClassExpression... theClasses)
theClasses
- the values which are disjointpublic static Axiom disjointClasses(Resource... theClasses)
theClasses
- the values which are disjointpublic static Axiom equivalentClasses(Axiom.ClassExpression... theClasses)
theClasses
- the values which are equivalentpublic static Axiom equivalentClasses(Resource... theClasses)
theClasses
- the values which are equivalentpublic static Axiom equivalentProperties(Resource... theProperties)
theProperties
- the values which are equivalentpublic static Axiom classAssertion(Resource theIndividual, Resource theClass)
theIndividual
- the individualtheClass
- the classpublic static Axiom differentIndividuals(Resource... theIndividuals)
theIndividuals
- the individualspublic static Axiom differentIndividuals(Axiom... theIndividuals)
theIndividuals
- the individualspublic static Axiom disjointDataProperties(IRI... theProperties)
theProperties
- the disjoint propertiespublic static Axiom disjointObjectProperties(IRI... theProperties)
theProperties
- the disjoint propertiespublic static Axiom sameIndividuals(Resource... theIndividuals)
theIndividuals
- the individualspublic static Axiom negativeObjectPropertyAssertion(Resource theSubject, IRI thePredicate, Value theObject)
theSubject
- the subject of the assertionthePredicate
- the predicate of the assertiontheObject
- the object of the assertionpublic static Axiom negativeDataPropertyAssertion(Resource theSubject, IRI thePredicate, Value theObject)
theSubject
- the subject of the assertionthePredicate
- the predicate of the assertiontheObject
- the object of the assertionpublic static Axiom.PropertyExpression dataProperty(IRI theURI)
theURI
- the the resourcepublic static Axiom.PropertyExpression objectProperty(IRI theURI)
theURI
- the the resourcepublic static Axiom declareClass(IRI theURI)
theURI
- the the resourcepublic static Axiom declareObjectProperty(IRI theURI)
theURI
- the the resourcepublic static Axiom declareDataProperty(IRI theURI)
theURI
- the the resourcepublic static Axiom declareIndividual(Resource theResource)
theResource
- the the resourcepublic static Axiom subPropertyOf(Axioms.ExpressionList<Axiom.PropertyExpression> theList, Axiom.PropertyExpression theProperty)
theList
- the property listtheProperty
- the propertypublic static Axiom subPropertyOf(IRI theSub, IRI theSuper)
theSub
- the sub propertytheSuper
- the super propertypublic static Axiom subPropertyOf(Axiom.PropertyExpression theSub, Axiom.PropertyExpression theSuper)
theSub
- the sub propertytheSuper
- the super propertypublic static Axioms.ExpressionList<Axiom.PropertyExpression> propertyList(IRI... theProps)
theProps
- the properties in the listpublic static Axioms.ExpressionList<Axiom.PropertyExpression> propertyList(Axiom.PropertyExpression... theExpr)
theExpr
- the properties in the listpublic static Axiom subPropertyOf(Axiom.PropertyExpression theSub, IRI theSuper)
theSub
- the sub propertytheSuper
- the super propertypublic static Axiom subPropertyOf(IRI theSub, Axiom.PropertyExpression theSuper)
theSub
- the sub propertytheSuper
- the super propertypublic static Axiom inverseOf(IRI theProperty, IRI theInverse)
theProperty
- the propertytheInverse
- the inverse propertypublic static Axiom inverseOf(Axiom.PropertyExpression theProperty, Axiom.PropertyExpression theInverse)
theProperty
- the propertytheInverse
- the inverse propertypublic static Axiom inverseOf(Axiom.PropertyExpression theProperty, IRI theInverse)
theProperty
- the propertytheInverse
- the inverse propertypublic static Axiom inverseOf(IRI theProperty, Axiom.PropertyExpression theInverse)
theProperty
- the propertytheInverse
- the inverse propertypublic static Axioms.RestrictedDatatype restrict(Axiom.NamedDatatype theDatatype, Axioms.FacetRestriction... theRestrictions)
theDatatype
- the datatypetheRestrictions
- the restrictions on the datatypepublic static Axiom.ClassExpression oneOf(Resource... ex)
ex
- the values in the enumerationpublic static Axiom.Datatype oneOf(Literal... ex)
ex
- the values in the enumerationCopyright © 2010-2016 Stardog Union. All Rights Reserved.