@Deprecated public final class Axioms extends Object
Modifier and Type | Class and Description |
---|---|
static class |
Axioms.Datatypes
Deprecated.
Class which represents the various different datatypes
|
static class |
Axioms.ExpressionList<T extends Axiom>
Deprecated.
Expression which represents an rdf:List of other expressions.
|
static class |
Axioms.Facet
Deprecated.
Enumeration of the possible facets for a
Axioms.FacetRestriction on a Axiom.NamedDatatype |
static class |
Axioms.FacetRestriction
Deprecated.
A restriction on a facet of a datatype.
|
static class |
Axioms.RestrictedDatatype
Deprecated.
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)
Deprecated.
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
all(Axiom.PropertyExpression theProperty,
Resource theResource)
Deprecated.
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
all(IRI theProperty,
Axiom theResource)
Deprecated.
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
all(IRI theProperty,
Resource theResource)
Deprecated.
Create a new AllValuesFrom expression
|
static Axiom.ClassExpression |
and(Axiom.ClassExpression... theExpr)
Deprecated.
Create an And (owl:intersectionOf) expression
|
static Axiom.ClassExpression |
and(Resource... ex)
Deprecated.
Create an And (owl:intersectionOf) expression
|
static Axiom.PropertyExpression |
asymmetricProperty(IRI theURI)
Deprecated.
Create a new owl:AsymmetricProperty expression
|
static Axiom.ClassExpression |
cardinality(IRI theURI,
int theCard)
Deprecated.
Create a new exact cardinality expression
|
static Axiom.ClassExpression |
cardinality(IRI theURI,
int theCard,
Axiom.ClassExpression theClass)
Deprecated.
Create a new exact cardinality expression
|
static Axiom.ClassExpression |
cardinality(IRI theURI,
int theCard,
Resource theClass)
Deprecated.
Create a new max cardinality expression
|
static Axiom |
classAssertion(Resource theIndividual,
Resource theClass)
Deprecated.
Create a new ClassAssertion(iID, c) expression
|
static Axiom.ClassExpression |
complementOf(Resource theRes)
Deprecated.
Return a ComplementOf expression
|
static Axiom.PropertyExpression |
dataProperty(IRI theURI)
Deprecated.
Create a DataProperty(theURI) expression
|
static Axiom |
declareClass(IRI theURI)
Deprecated.
Create a Declaration(OWLClass(theURI)) expression
|
static Axiom |
declareDataProperty(IRI theURI)
Deprecated.
Create a Declaration(DataProperty(theURI)) expression
|
static Axiom |
declareIndividual(Resource theResource)
Deprecated.
Create a Declaration(Individual(theResource)) expression
|
static Axiom |
declareObjectProperty(IRI theURI)
Deprecated.
Create a Declaration(ObjectProperty(theURI)) expression
|
static Axiom |
differentIndividuals(Axiom... theIndividuals)
Deprecated.
Create a new DifferentIndividuals(iID(1) ...
|
static Axiom |
differentIndividuals(Resource... theIndividuals)
Deprecated.
Create a new DifferentIndividuals(iID(1) ...
|
static Axiom |
disjointClasses(Axiom.ClassExpression... theClasses)
Deprecated.
Create an DisjointClasses expression
|
static Axiom |
disjointClasses(Resource... theClasses)
Deprecated.
Create an DisjointClasses expression
|
static Axiom |
disjointDataProperties(IRI... theProperties)
Deprecated.
Create a DisjointDataProperties(...) expression
|
static Axiom |
disjointObjectProperties(IRI... theProperties)
Deprecated.
Create a DisjointObjectProperties(...) expression
|
static Axiom |
domain(Axiom.PropertyExpression theProperty,
Resource theClass)
Deprecated.
Create a new domain expression
|
static Axiom |
domain(IRI theProperty,
Axiom.ClassExpression theClass)
Deprecated.
Create a new domain expression
|
static Axiom |
domain(IRI theProperty,
Resource theClass)
Deprecated.
Create a new domain expression
|
static Axiom |
equivalentClasses(Axiom.ClassExpression... theClasses)
Deprecated.
Create an EquivalentClasses expression
|
static Axiom |
equivalentClasses(Resource... theClasses)
Deprecated.
Create an EquivalentClasses expression
|
static Axiom |
equivalentProperties(Resource... theProperties)
Deprecated.
Create an EquivalentProperties expression
|
static Axiom |
fromStatements(Iterable<Statement> theStatements)
Deprecated.
Create an Expression directly from the provided set of statements.
|
static Axiom |
fromStatements(Statement... theStatements)
Deprecated.
|
static Axiom.PropertyExpression |
functionalProperty(IRI theURI)
Deprecated.
Create a new owl:FunctionalProperty expression
|
static Axiom.ClassExpression |
hasValue(IRI theProperty,
Value theValue)
Deprecated.
Create a new HasValue(...) expression
|
static Axiom.PropertyExpression |
inverse(Axiom.PropertyExpression theProp)
Deprecated.
Create a new owl:inverseObjectPropertyExpression expression
|
static Axiom.PropertyExpression |
inverse(IRI theProp)
Deprecated.
Create a new owl:inverseObjectPropertyExpression expression
|
static Axiom.PropertyExpression |
inverseFunctionalProperty(IRI theURI)
Deprecated.
Create a new owl:InverseFunctionalProperty expression
|
static Axiom |
inverseOf(Axiom.PropertyExpression theProperty,
Axiom.PropertyExpression theInverse)
Deprecated.
Create a new inverseOf expression
|
static Axiom |
inverseOf(Axiom.PropertyExpression theProperty,
IRI theInverse)
Deprecated.
Create a new inverseOf expression
|
static Axiom |
inverseOf(IRI theProperty,
Axiom.PropertyExpression theInverse)
Deprecated.
Create a new inverseOf expression
|
static Axiom |
inverseOf(IRI theProperty,
IRI theInverse)
Deprecated.
Create a new inverseOf expression
|
static Axiom.PropertyExpression |
irreflexiveProperty(IRI theURI)
Deprecated.
Create a new owl:IrreflexiveProperty expression
|
static Axiom.ClassExpression |
max(Axiom.PropertyExpression theURI,
int theCard)
Deprecated.
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(Axiom.PropertyExpression theURI,
int theCard,
Axiom.ClassExpression theClass)
Deprecated.
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(IRI theURI,
int theCard)
Deprecated.
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(IRI theURI,
int theCard,
Axiom.ClassExpression theClass)
Deprecated.
Create a new max cardinality expression
|
static Axiom.ClassExpression |
max(IRI theURI,
int theCard,
Resource theClass)
Deprecated.
Create a new max cardinality expression
|
static Axiom.ClassExpression |
min(Axiom.PropertyExpression theURI,
int theCard)
Deprecated.
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(Axiom.PropertyExpression theURI,
int theCard,
Axiom.ClassExpression theClass)
Deprecated.
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(IRI theURI,
int theCard)
Deprecated.
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(IRI theURI,
int theCard,
Axiom.ClassExpression theClass)
Deprecated.
Create a new min cardinality expression
|
static Axiom.ClassExpression |
min(IRI theURI,
int theCard,
Resource theClass)
Deprecated.
Create a new min cardinality expression
|
static Axiom.ClassExpression |
namedClass(IRI theURI)
Deprecated.
Create a new named class
|
static Axiom |
negativeDataPropertyAssertion(Resource theSubject,
IRI thePredicate,
Value theObject)
Deprecated.
Create a new NegativeDataPropertyAssertion
|
static Axiom |
negativeObjectPropertyAssertion(Resource theSubject,
IRI thePredicate,
Value theObject)
Deprecated.
Create a new NegativeObjectPropertyAssertion
|
static Axiom.PropertyExpression |
objectProperty(IRI theURI)
Deprecated.
Create a ObjectProperty(theURI) expression
|
static Axiom.Datatype |
oneOf(Literal... ex)
Deprecated.
Create an enumerated datatype (owl:oneOf)
|
static Axiom.ClassExpression |
oneOf(Resource... ex)
Deprecated.
Create an enumerated class (owl:oneOf)
|
static Axiom.ClassExpression |
or(Axiom.ClassExpression... theExpr)
Deprecated.
Create an Or (owl:unionOf) expression
|
static Axiom.ClassExpression |
or(Resource... ex)
Deprecated.
Create an Or (owl:unionOf) expression
|
static Axioms.ExpressionList<Axiom.PropertyExpression> |
propertyList(Axiom.PropertyExpression... theExpr)
Deprecated.
Create a new property list
|
static Axioms.ExpressionList<Axiom.PropertyExpression> |
propertyList(IRI... theProps)
Deprecated.
Create a new property list
|
static Axiom |
range(Axiom.PropertyExpression theProperty,
Resource theClass)
Deprecated.
Create a new range expression
|
static Axiom |
range(IRI theProperty,
Axiom.ClassExpression theClass)
Deprecated.
Create a new range expression
|
static Axiom |
range(IRI theProperty,
Axiom.Datatype theRange)
Deprecated.
Create a new range expression
|
static Axiom |
range(IRI theProperty,
Resource theClass)
Deprecated.
Create a new range expression
|
static Axiom.PropertyExpression |
reflexiveProperty(IRI theURI)
Deprecated.
Create a new owl:ReflexiveProperty expression
|
static Axioms.RestrictedDatatype |
restrict(Axiom.NamedDatatype theDatatype,
Axioms.FacetRestriction... theRestrictions)
Deprecated.
Create a new RestrictedDatatype
|
static Axiom |
rule(String theRuleBody)
Deprecated.
Create a new rule expression in Stardog rules syntax.
|
static Axiom |
sameIndividuals(Resource... theIndividuals)
Deprecated.
Create a new SameIndividual(iID(1) ...
|
static Axiom.ClassExpression |
some(Axiom.PropertyExpression theProperty,
Axiom theResource)
Deprecated.
Create a new SomeValuesFrom expression
|
static Axiom.ClassExpression |
some(IRI theProperty,
Axiom theResource)
Deprecated.
Create a new SomeValuesFrom expression
|
static Axiom.ClassExpression |
some(IRI theProperty,
Resource theResource)
Deprecated.
Create a new SomeValuesFrom expression
|
static Axiom |
subClassOf(Axiom.ClassExpression sub,
Axiom.ClassExpression sup)
Deprecated.
Create a new subClassOf expression
|
static Axiom |
subClassOf(Axiom.ClassExpression sub,
Resource sup)
Deprecated.
Create a new subClassOf expression
|
static Axiom |
subClassOf(Resource sub,
Axiom.ClassExpression sup)
Deprecated.
Create a new subClassOf expression
|
static Axiom |
subClassOf(Resource sub,
Resource sup)
Deprecated.
Create a new subClassOf expression
|
static Axiom |
subPropertyOf(Axiom.PropertyExpression theSub,
Axiom.PropertyExpression theSuper)
Deprecated.
Create a new subClassOf expression
|
static Axiom |
subPropertyOf(Axiom.PropertyExpression theSub,
IRI theSuper)
Deprecated.
Create a new subPropertyOf expression
|
static Axiom |
subPropertyOf(Axioms.ExpressionList<Axiom.PropertyExpression> theList,
Axiom.PropertyExpression theProperty)
Deprecated.
Create a new subPropertyOf expression for a property chain axiom.
|
static Axiom |
subPropertyOf(IRI theSub,
Axiom.PropertyExpression theSuper)
Deprecated.
Create a new subClassOf expression
|
static Axiom |
subPropertyOf(IRI theSub,
IRI theSuper)
Deprecated.
Create a new subPropertyOf expression
|
static Axiom.PropertyExpression |
symmetricProperty(IRI theURI)
Deprecated.
Create a new owl:SymmetricProperty expression
|
static Axiom.PropertyExpression |
transitiveProperty(IRI theURI)
Deprecated.
Create a new owl:TransitiveProperty expression
|
static Axiom |
type(Resource theInd,
Axiom.ClassExpression theClass)
Deprecated.
Create a new type assertion expression
|
static Axiom |
type(Resource theInd,
IRI theClass)
Deprecated.
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.