Methods
Modifier and Type |
Method and Description |
static OWLAnnotationAssertionAxiom |
AnnotationAssertion(OWLAnnotationProperty property,
OWLAnnotationSubject subject,
OWLAnnotationValue value) |
static OWLAnnotationProperty |
AnnotationProperty(IRI iri) |
static OWLAnnotationProperty |
AnnotationProperty(java.lang.String abbreviatedIRI,
PrefixManager pm) |
static OWLAnnotationPropertyDomainAxiom |
AnnotationPropertyDomain(OWLAnnotationProperty property,
IRI iri) |
static OWLAnnotationPropertyRangeAxiom |
AnnotationPropertyRange(OWLAnnotationProperty property,
IRI iri) |
static OWLAsymmetricObjectPropertyAxiom |
AsymmetricObjectProperty(OWLObjectPropertyExpression property) |
static OWLClass |
Class(IRI iri) |
static OWLClass |
Class(java.lang.String abbreviatedIRI,
PrefixManager pm) |
static OWLClassAssertionAxiom |
ClassAssertion(OWLClassExpression ce,
OWLIndividual ind) |
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(IRI iri) |
static OWLDataProperty |
DataProperty(java.lang.String abbreviatedIRI,
PrefixManager pm) |
static OWLDataPropertyAssertionAxiom |
DataPropertyAssertion(OWLDataPropertyExpression property,
OWLIndividual source,
OWLLiteral target) |
static OWLDataPropertyDomainAxiom |
DataPropertyDomain(OWLDataPropertyExpression property,
OWLClassExpression domain) |
static OWLDataPropertyRangeAxiom |
DataPropertyRange(OWLDataPropertyExpression property,
OWLDataRange range) |
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 OWLDifferentIndividualsAxiom |
DifferentIndividuals(OWLIndividual... individuals) |
static OWLDisjointClassesAxiom |
DisjointClasses(OWLClassExpression... classExpressions) |
static OWLDisjointDataPropertiesAxiom |
DisjointDataProperties(OWLDataPropertyExpression... properties) |
static OWLDisjointObjectPropertiesAxiom |
DisjointObjectProperties(OWLObjectPropertyExpression... properties) |
static OWLDisjointUnionAxiom |
DisjointUnion(OWLClass cls,
OWLClassExpression... classExpressions) |
static OWLEquivalentClassesAxiom |
EquivalentClasses(OWLClassExpression... classExpressions) |
static OWLEquivalentDataPropertiesAxiom |
EquivalentDataProperties(OWLDataPropertyExpression... properties) |
static OWLEquivalentObjectPropertiesAxiom |
EquivalentObjectProperties(OWLObjectPropertyExpression... properties) |
static OWLFacetRestriction |
FacetRestriction(OWLFacet facet,
OWLLiteral facetValue) |
static OWLFunctionalDataPropertyAxiom |
FunctionalDataProperty(OWLDataPropertyExpression property) |
static OWLFunctionalObjectPropertyAxiom |
FunctionalObjectProperty(OWLObjectPropertyExpression property) |
static OWLHasKeyAxiom |
HasKey(OWLClassExpression classExpression,
OWLPropertyExpression<?,?>... propertyExpressions) |
static OWLInverseFunctionalObjectPropertyAxiom |
InverseFunctionalObjectProperty(OWLObjectPropertyExpression property) |
static OWLInverseObjectPropertiesAxiom |
InverseObjectProperties(OWLObjectPropertyExpression peA,
OWLObjectPropertyExpression peB) |
static IRI |
IRI(java.lang.String iri) |
static OWLIrreflexiveObjectPropertyAxiom |
IrreflexiveObjectProperty(OWLObjectPropertyExpression property) |
static OWLLiteral |
Literal(boolean literal) |
static OWLLiteral |
Literal(double literal) |
static OWLLiteral |
Literal(float literal) |
static OWLLiteral |
Literal(int literal) |
static OWLLiteral |
Literal(java.lang.String literal) |
static OWLLiteral |
Literal(java.lang.String literal,
java.lang.String lang) |
static OWLNamedIndividual |
NamedIndividual(IRI iri) |
static OWLNamedIndividual |
NamedIndividual(java.lang.String abbreviatedIRI,
PrefixManager pm) |
static OWLNegativeDataPropertyAssertionAxiom |
NegativeDataPropertyAssertion(OWLDataPropertyExpression property,
OWLIndividual source,
OWLLiteral target) |
static OWLNegativeObjectPropertyAssertionAxiom |
NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property,
OWLIndividual source,
OWLIndividual target) |
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(OWLObjectPropertyExpression 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(IRI iri) |
static OWLObjectProperty |
ObjectProperty(java.lang.String abbreviatedIRI,
PrefixManager pm) |
static OWLObjectPropertyAssertionAxiom |
ObjectPropertyAssertion(OWLObjectPropertyExpression property,
OWLIndividual source,
OWLIndividual target) |
static OWLObjectPropertyDomainAxiom |
ObjectPropertyDomain(OWLObjectPropertyExpression property,
OWLClassExpression domain) |
static OWLObjectPropertyRangeAxiom |
ObjectPropertyRange(OWLObjectPropertyExpression property,
OWLClassExpression range) |
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 OWLLiteral |
PlainLiteral(java.lang.String literal) |
static OWLReflexiveObjectPropertyAxiom |
ReflexiveObjectProperty(OWLObjectPropertyExpression property) |
static OWLSameIndividualAxiom |
SameIndividual(OWLIndividual... individuals) |
static OWLSubAnnotationPropertyOfAxiom |
SubAnnotationPropertyOf(OWLAnnotationProperty subProperty,
OWLAnnotationProperty superProperty) |
static OWLSubClassOfAxiom |
SubClassOf(OWLClassExpression subClass,
OWLClassExpression superClass) |
static OWLSubDataPropertyOfAxiom |
SubDataPropertyOf(OWLDataPropertyExpression subProperty,
OWLDataPropertyExpression superProperty) |
static OWLSubObjectPropertyOfAxiom |
SubObjectPropertyOf(OWLObjectPropertyExpression subProperty,
OWLObjectPropertyExpression superProperty) |
static OWLSymmetricObjectPropertyAxiom |
SymmetricObjectProperty(OWLObjectPropertyExpression property) |
static OWLTransitiveObjectPropertyAxiom |
TransitiveObjectProperty(OWLObjectPropertyExpression property) |