com.clarkparsia.owlapi
Class OWL

java.lang.Object
  com.clarkparsia.owlapi.OWL

public class OWL
extends java.lang.Object

Title:

Description: Utility class to generate OWL concepts in a concise and readable way.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

static org.semanticweb.owl.model.OWLDataFactory	factory
static org.semanticweb.owl.model.OWLOntologyManager	manager
static org.semanticweb.owl.model.OWLClass	Nothing
static org.semanticweb.owl.model.OWLClass	Thing

Constructor Summary

OWL()

Method Summary

static org.semanticweb.owl.model.OWLDataAllRestriction	all(org.semanticweb.owl.model.OWLDataPropertyExpression property, org.semanticweb.owl.model.OWLDataType datatype)
static org.semanticweb.owl.model.OWLObjectAllRestriction	all(org.semanticweb.owl.model.OWLObjectPropertyExpression property, org.semanticweb.owl.model.OWLDescription description)
static org.semanticweb.owl.model.OWLObjectAllRestriction	allValuesFrom(org.semanticweb.owl.model.OWLObjectPropertyExpression property, org.semanticweb.owl.model.OWLDescription description) Deprecated. Use all(OWLObjectPropertyExpression, OWLDescription) instead
static org.semanticweb.owl.model.OWLObjectIntersectionOf	and(org.semanticweb.owl.model.OWLDescription... descriptions)
static org.semanticweb.owl.model.OWLObjectIntersectionOf	and(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)
static org.semanticweb.owl.model.OWLEntityAnnotationAxiom	annotation(org.semanticweb.owl.model.OWLEntity entity, org.semanticweb.owl.model.OWLAnnotation<? extends org.semanticweb.owl.model.OWLObject> annotation)
static org.semanticweb.owl.model.OWLEntityAnnotationAxiom	annotation(org.semanticweb.owl.model.OWLEntity entity, java.net.URI annotationURI, org.semanticweb.owl.model.OWLConstant constant)
static org.semanticweb.owl.model.OWLEntityAnnotationAxiom	annotation(org.semanticweb.owl.model.OWLEntity entity, java.net.URI annotationURI, org.semanticweb.owl.model.OWLIndividual individual)
static org.semanticweb.owl.model.OWLAntiSymmetricObjectPropertyAxiom	antiSymmetric(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLDescription	cardinality(org.semanticweb.owl.model.OWLDataProperty p, int card) Deprecated.
static org.semanticweb.owl.model.OWLDescription	cardinality(org.semanticweb.owl.model.OWLObjectProperty p, int card) Deprecated.
static org.semanticweb.owl.model.OWLDescription	cardinality(org.semanticweb.owl.model.OWLObjectProperty p, int card, org.semanticweb.owl.model.OWLDescription desc) Deprecated.
static org.semanticweb.owl.model.OWLClass	Class(java.lang.String uri)
static org.semanticweb.owl.model.OWLClass	Class(java.net.URI uri)
static org.semanticweb.owl.model.OWLClassAssertionAxiom	classAssertion(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLDescription desc)
static org.semanticweb.owl.model.OWLEntityAnnotationAxiom	comment(org.semanticweb.owl.model.OWLEntity entity, java.lang.String comment)
static org.semanticweb.owl.model.OWLObjectComplementOf	complementOf(org.semanticweb.owl.model.OWLDescription description) Deprecated. Use not(OWLDescription) instead
static org.semanticweb.owl.model.OWLUntypedConstant	constant(java.lang.String value)
static org.semanticweb.owl.model.OWLTypedConstant	constant(java.lang.String value, org.semanticweb.owl.model.OWLDataType datatype)
static org.semanticweb.owl.model.OWLUntypedConstant	constant(java.lang.String value, java.lang.String lang)
static org.semanticweb.owl.model.OWLDataProperty	DataProperty(java.lang.String uri)
static org.semanticweb.owl.model.OWLDataProperty	DataProperty(java.net.URI uri)
static org.semanticweb.owl.model.OWLDataType	dataType(java.lang.String datatypeURI)
static org.semanticweb.owl.model.OWLDataType	dataType(java.net.URI datatypeURI)
static org.semanticweb.owl.model.OWLDeclarationAxiom	declaration(org.semanticweb.owl.model.OWLEntity entity)
static org.semanticweb.owl.model.OWLDifferentIndividualsAxiom	differentFrom(org.semanticweb.owl.model.OWLIndividual i1, org.semanticweb.owl.model.OWLIndividual i2)
static org.semanticweb.owl.model.OWLDifferentIndividualsAxiom	differentFrom(java.util.Set<org.semanticweb.owl.model.OWLIndividual> inds)
static org.semanticweb.owl.model.OWLDisjointClassesAxiom	disjointClasses(org.semanticweb.owl.model.OWLDescription d1, org.semanticweb.owl.model.OWLDescription d2)
static org.semanticweb.owl.model.OWLDisjointClassesAxiom	disjointClasses(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)
static org.semanticweb.owl.model.OWLDisjointDataPropertiesAxiom	disjointProperties(org.semanticweb.owl.model.OWLDataPropertyExpression d1, org.semanticweb.owl.model.OWLDataPropertyExpression d2)
static org.semanticweb.owl.model.OWLDisjointObjectPropertiesAxiom	disjointProperties(org.semanticweb.owl.model.OWLObjectPropertyExpression d1, org.semanticweb.owl.model.OWLObjectPropertyExpression d2)
static org.semanticweb.owl.model.OWLDataPropertyDomainAxiom	domain(org.semanticweb.owl.model.OWLDataPropertyExpression p, org.semanticweb.owl.model.OWLDescription d)
static org.semanticweb.owl.model.OWLObjectPropertyDomainAxiom	domain(org.semanticweb.owl.model.OWLObjectPropertyExpression p, org.semanticweb.owl.model.OWLDescription d)
static org.semanticweb.owl.model.OWLEquivalentClassesAxiom	equivalentClasses(org.semanticweb.owl.model.OWLDescription d1, org.semanticweb.owl.model.OWLDescription d2)
static org.semanticweb.owl.model.OWLEquivalentClassesAxiom	equivalentClasses(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)
static org.semanticweb.owl.model.OWLDescription	exactly(org.semanticweb.owl.model.OWLDataProperty p, int card)
static org.semanticweb.owl.model.OWLDescription	exactly(org.semanticweb.owl.model.OWLDataProperty p, int card, org.semanticweb.owl.model.OWLDataRange d)
static org.semanticweb.owl.model.OWLDescription	exactly(org.semanticweb.owl.model.OWLObjectProperty p, int card)
static org.semanticweb.owl.model.OWLDescription	exactly(org.semanticweb.owl.model.OWLObjectProperty p, int card, org.semanticweb.owl.model.OWLDescription desc)
static org.semanticweb.owl.model.OWLFunctionalDataPropertyAxiom	functional(org.semanticweb.owl.model.OWLDataPropertyExpression p)
static org.semanticweb.owl.model.OWLFunctionalObjectPropertyAxiom	functional(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLDataValueRestriction	hasValue(org.semanticweb.owl.model.OWLDataPropertyExpression property, org.semanticweb.owl.model.OWLConstant constant)
static org.semanticweb.owl.model.OWLObjectValueRestriction	hasValue(org.semanticweb.owl.model.OWLObjectPropertyExpression property, org.semanticweb.owl.model.OWLIndividual value)
static org.semanticweb.owl.model.OWLIndividual	Individual(java.lang.String uri)
static org.semanticweb.owl.model.OWLIndividual	Individual(java.net.URI uri)
static org.semanticweb.owl.model.OWLClassAssertionAxiom	instanceOf(org.semanticweb.owl.model.OWLIndividual ind, org.semanticweb.owl.model.OWLDescription desc) Deprecated. Use classAssertion(OWLIndividual, OWLDescription) instead
static org.semanticweb.owl.model.OWLObjectIntersectionOf	intersectionOf(org.semanticweb.owl.model.OWLDescription... descriptions) Deprecated. Use and(OWLDescription...)
static org.semanticweb.owl.model.OWLObjectIntersectionOf	intersectionOf(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions) Deprecated. Use and(Set) instead
static org.semanticweb.owl.model.OWLObjectPropertyInverse	inverse(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLInverseObjectPropertiesAxiom	inverseProperties(org.semanticweb.owl.model.OWLObjectPropertyExpression p1, org.semanticweb.owl.model.OWLObjectPropertyExpression p2)
static org.semanticweb.owl.model.OWLIrreflexiveObjectPropertyAxiom	irreflexive(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLEntityAnnotationAxiom	label(org.semanticweb.owl.model.OWLEntity entity, java.lang.String label)
static org.semanticweb.owl.model.OWLDataMaxCardinalityRestriction	max(org.semanticweb.owl.model.OWLDataPropertyExpression p, int max)
static org.semanticweb.owl.model.OWLDataMaxCardinalityRestriction	max(org.semanticweb.owl.model.OWLDataPropertyExpression p, int max, org.semanticweb.owl.model.OWLDataRange filler)
static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction	max(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int max)
static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction	max(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int max, org.semanticweb.owl.model.OWLDescription filler)
static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction	maxCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int max) Deprecated. Use max(OWLObjectPropertyExpression, int) instead
static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction	maxCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int max, org.semanticweb.owl.model.OWLDescription filler) Deprecated. Use max(OWLObjectPropertyExpression, int, OWLDescription) instead
static org.semanticweb.owl.model.OWLDataMinCardinalityRestriction	min(org.semanticweb.owl.model.OWLDataPropertyExpression p, int min)
static org.semanticweb.owl.model.OWLDataMinCardinalityRestriction	min(org.semanticweb.owl.model.OWLDataPropertyExpression p, int min, org.semanticweb.owl.model.OWLDataRange filler)
static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction	min(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int min)
static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction	min(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int min, org.semanticweb.owl.model.OWLDescription filler)
static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction	minCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int min) Deprecated. Use min(OWLObjectPropertyExpression, int) instead
static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction	minCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p, int min, org.semanticweb.owl.model.OWLDescription filler) Deprecated. Use min(OWLObjectPropertyExpression, int, OWLDescription) instead
static org.semanticweb.owl.model.OWLObjectComplementOf	not(org.semanticweb.owl.model.OWLDescription description)
static org.semanticweb.owl.model.OWLObjectProperty	ObjectProperty(java.lang.String uri)
static org.semanticweb.owl.model.OWLObjectProperty	ObjectProperty(java.net.URI uri)
static org.semanticweb.owl.model.OWLDataOneOf	oneOf(org.semanticweb.owl.model.OWLConstant... constants)
static org.semanticweb.owl.model.OWLObjectOneOf	oneOf(org.semanticweb.owl.model.OWLIndividual... individuals)
static org.semanticweb.owl.model.OWLDataOneOf	oneOf(java.util.Set<? extends org.semanticweb.owl.model.OWLConstant> constants)
static org.semanticweb.owl.model.OWLObjectOneOf	oneOf(java.util.Set<org.semanticweb.owl.model.OWLIndividual> individuals)
static org.semanticweb.owl.model.OWLObjectUnionOf	or(org.semanticweb.owl.model.OWLDescription... descriptions)
static org.semanticweb.owl.model.OWLObjectUnionOf	or(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)
static org.semanticweb.owl.model.OWLDataPropertyAssertionAxiom	propertyAssertion(org.semanticweb.owl.model.OWLIndividual subj, org.semanticweb.owl.model.OWLDataPropertyExpression pred, org.semanticweb.owl.model.OWLConstant obj)
static org.semanticweb.owl.model.OWLObjectPropertyAssertionAxiom	propertyAssertion(org.semanticweb.owl.model.OWLIndividual subj, org.semanticweb.owl.model.OWLObjectPropertyExpression pred, org.semanticweb.owl.model.OWLIndividual obj)
static org.semanticweb.owl.model.OWLDataPropertyRangeAxiom	range(org.semanticweb.owl.model.OWLDataPropertyExpression p, org.semanticweb.owl.model.OWLDataRange d)
static org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom	range(org.semanticweb.owl.model.OWLObjectPropertyExpression p, org.semanticweb.owl.model.OWLDescription d)
static org.semanticweb.owl.model.OWLReflexiveObjectPropertyAxiom	reflexive(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLSameIndividualsAxiom	sameAs(org.semanticweb.owl.model.OWLIndividual i1, org.semanticweb.owl.model.OWLIndividual i2)
static org.semanticweb.owl.model.OWLSameIndividualsAxiom	sameAs(java.util.Set<org.semanticweb.owl.model.OWLIndividual> inds)
static org.semanticweb.owl.model.OWLObjectSelfRestriction	self(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLDataSomeRestriction	some(org.semanticweb.owl.model.OWLDataPropertyExpression property, org.semanticweb.owl.model.OWLDataType datatype)
static org.semanticweb.owl.model.OWLObjectSomeRestriction	some(org.semanticweb.owl.model.OWLObjectPropertyExpression property, org.semanticweb.owl.model.OWLDescription description)
static org.semanticweb.owl.model.OWLObjectSomeRestriction	someValuesFrom(org.semanticweb.owl.model.OWLObjectPropertyExpression property, org.semanticweb.owl.model.OWLDescription description) Deprecated. Use some(OWLObjectPropertyExpression, OWLDescription) instead
static org.semanticweb.owl.model.OWLSubClassAxiom	subClassOf(org.semanticweb.owl.model.OWLDescription sub, org.semanticweb.owl.model.OWLDescription sup)
static org.semanticweb.owl.model.OWLDataSubPropertyAxiom	subPropertyOf(org.semanticweb.owl.model.OWLDataPropertyExpression sub, org.semanticweb.owl.model.OWLDataPropertyExpression sup)
static org.semanticweb.owl.model.OWLObjectPropertyChainSubPropertyAxiom	subPropertyOf(org.semanticweb.owl.model.OWLObjectPropertyExpression[] subChain, org.semanticweb.owl.model.OWLObjectPropertyExpression sup)
static org.semanticweb.owl.model.OWLObjectSubPropertyAxiom	subPropertyOf(org.semanticweb.owl.model.OWLObjectPropertyExpression sub, org.semanticweb.owl.model.OWLObjectPropertyExpression sup)
static org.semanticweb.owl.model.OWLSymmetricObjectPropertyAxiom	symmetric(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLTransitiveObjectPropertyAxiom	transitive(org.semanticweb.owl.model.OWLObjectPropertyExpression p)
static org.semanticweb.owl.model.OWLObjectUnionOf	unionOf(org.semanticweb.owl.model.OWLDescription... descriptions) Deprecated. Use or(OWLDescription...)
static org.semanticweb.owl.model.OWLObjectUnionOf	unionOf(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions) Deprecated. Use or(Set instead

Methods inherited from class java.lang.Object

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

Field Detail

manager

public static final org.semanticweb.owl.model.OWLOntologyManager manager

factory

public static final org.semanticweb.owl.model.OWLDataFactory factory

Nothing

public static final org.semanticweb.owl.model.OWLClass Nothing

Thing

public static final org.semanticweb.owl.model.OWLClass Thing

Constructor Detail

OWL

public OWL()

Method Detail

all

public static org.semanticweb.owl.model.OWLDataAllRestriction all(org.semanticweb.owl.model.OWLDataPropertyExpression property,
                                                                  org.semanticweb.owl.model.OWLDataType datatype)

all

public static org.semanticweb.owl.model.OWLObjectAllRestriction all(org.semanticweb.owl.model.OWLObjectPropertyExpression property,
                                                                    org.semanticweb.owl.model.OWLDescription description)

allValuesFrom

public static org.semanticweb.owl.model.OWLObjectAllRestriction allValuesFrom(org.semanticweb.owl.model.OWLObjectPropertyExpression property,
                                                                              org.semanticweb.owl.model.OWLDescription description)

Deprecated. Use all(OWLObjectPropertyExpression, OWLDescription) instead

and

public static org.semanticweb.owl.model.OWLObjectIntersectionOf and(org.semanticweb.owl.model.OWLDescription... descriptions)

and

public static org.semanticweb.owl.model.OWLObjectIntersectionOf and(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)

annotation

public static org.semanticweb.owl.model.OWLEntityAnnotationAxiom annotation(org.semanticweb.owl.model.OWLEntity entity,
                                                                            org.semanticweb.owl.model.OWLAnnotation<? extends org.semanticweb.owl.model.OWLObject> annotation)

annotation

public static org.semanticweb.owl.model.OWLEntityAnnotationAxiom annotation(org.semanticweb.owl.model.OWLEntity entity,
                                                                            java.net.URI annotationURI,
                                                                            org.semanticweb.owl.model.OWLConstant constant)

annotation

public static org.semanticweb.owl.model.OWLEntityAnnotationAxiom annotation(org.semanticweb.owl.model.OWLEntity entity,
                                                                            java.net.URI annotationURI,
                                                                            org.semanticweb.owl.model.OWLIndividual individual)

antiSymmetric

public static org.semanticweb.owl.model.OWLAntiSymmetricObjectPropertyAxiom antiSymmetric(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

cardinality

public static org.semanticweb.owl.model.OWLDescription cardinality(org.semanticweb.owl.model.OWLDataProperty p,
                                                                   int card)

Deprecated.

cardinality

public static org.semanticweb.owl.model.OWLDescription cardinality(org.semanticweb.owl.model.OWLObjectProperty p,
                                                                   int card)

Deprecated.

cardinality

public static org.semanticweb.owl.model.OWLDescription cardinality(org.semanticweb.owl.model.OWLObjectProperty p,
                                                                   int card,
                                                                   org.semanticweb.owl.model.OWLDescription desc)

Deprecated.

Class

public static org.semanticweb.owl.model.OWLClass Class(java.lang.String uri)

Class

public static org.semanticweb.owl.model.OWLClass Class(java.net.URI uri)

classAssertion

public static org.semanticweb.owl.model.OWLClassAssertionAxiom classAssertion(org.semanticweb.owl.model.OWLIndividual ind,
                                                                              org.semanticweb.owl.model.OWLDescription desc)

comment

public static org.semanticweb.owl.model.OWLEntityAnnotationAxiom comment(org.semanticweb.owl.model.OWLEntity entity,
                                                                         java.lang.String comment)

complementOf

public static org.semanticweb.owl.model.OWLObjectComplementOf complementOf(org.semanticweb.owl.model.OWLDescription description)

Deprecated. Use not(OWLDescription) instead

constant

public static org.semanticweb.owl.model.OWLUntypedConstant constant(java.lang.String value)

constant

public static org.semanticweb.owl.model.OWLTypedConstant constant(java.lang.String value,
                                                                  org.semanticweb.owl.model.OWLDataType datatype)

constant

public static org.semanticweb.owl.model.OWLUntypedConstant constant(java.lang.String value,
                                                                    java.lang.String lang)

DataProperty

public static org.semanticweb.owl.model.OWLDataProperty DataProperty(java.lang.String uri)

DataProperty

public static org.semanticweb.owl.model.OWLDataProperty DataProperty(java.net.URI uri)

dataType

public static org.semanticweb.owl.model.OWLDataType dataType(java.lang.String datatypeURI)

dataType

public static org.semanticweb.owl.model.OWLDataType dataType(java.net.URI datatypeURI)

declaration

public static org.semanticweb.owl.model.OWLDeclarationAxiom declaration(org.semanticweb.owl.model.OWLEntity entity)

differentFrom

public static org.semanticweb.owl.model.OWLDifferentIndividualsAxiom differentFrom(org.semanticweb.owl.model.OWLIndividual i1,
                                                                                   org.semanticweb.owl.model.OWLIndividual i2)

differentFrom

public static org.semanticweb.owl.model.OWLDifferentIndividualsAxiom differentFrom(java.util.Set<org.semanticweb.owl.model.OWLIndividual> inds)

disjointClasses

public static org.semanticweb.owl.model.OWLDisjointClassesAxiom disjointClasses(org.semanticweb.owl.model.OWLDescription d1,
                                                                                org.semanticweb.owl.model.OWLDescription d2)

disjointClasses

public static org.semanticweb.owl.model.OWLDisjointClassesAxiom disjointClasses(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)

disjointProperties

public static org.semanticweb.owl.model.OWLDisjointDataPropertiesAxiom disjointProperties(org.semanticweb.owl.model.OWLDataPropertyExpression d1,
                                                                                          org.semanticweb.owl.model.OWLDataPropertyExpression d2)

disjointProperties

public static org.semanticweb.owl.model.OWLDisjointObjectPropertiesAxiom disjointProperties(org.semanticweb.owl.model.OWLObjectPropertyExpression d1,
                                                                                            org.semanticweb.owl.model.OWLObjectPropertyExpression d2)

domain

public static org.semanticweb.owl.model.OWLDataPropertyDomainAxiom domain(org.semanticweb.owl.model.OWLDataPropertyExpression p,
                                                                          org.semanticweb.owl.model.OWLDescription d)

domain

public static org.semanticweb.owl.model.OWLObjectPropertyDomainAxiom domain(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                            org.semanticweb.owl.model.OWLDescription d)

equivalentClasses

public static org.semanticweb.owl.model.OWLEquivalentClassesAxiom equivalentClasses(org.semanticweb.owl.model.OWLDescription d1,
                                                                                    org.semanticweb.owl.model.OWLDescription d2)

equivalentClasses

public static org.semanticweb.owl.model.OWLEquivalentClassesAxiom equivalentClasses(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)

exactly

public static org.semanticweb.owl.model.OWLDescription exactly(org.semanticweb.owl.model.OWLDataProperty p,
                                                               int card)

exactly

public static org.semanticweb.owl.model.OWLDescription exactly(org.semanticweb.owl.model.OWLDataProperty p,
                                                               int card,
                                                               org.semanticweb.owl.model.OWLDataRange d)

exactly

public static org.semanticweb.owl.model.OWLDescription exactly(org.semanticweb.owl.model.OWLObjectProperty p,
                                                               int card)

exactly

public static org.semanticweb.owl.model.OWLDescription exactly(org.semanticweb.owl.model.OWLObjectProperty p,
                                                               int card,
                                                               org.semanticweb.owl.model.OWLDescription desc)

functional

public static org.semanticweb.owl.model.OWLFunctionalDataPropertyAxiom functional(org.semanticweb.owl.model.OWLDataPropertyExpression p)

functional

public static org.semanticweb.owl.model.OWLFunctionalObjectPropertyAxiom functional(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

hasValue

public static org.semanticweb.owl.model.OWLDataValueRestriction hasValue(org.semanticweb.owl.model.OWLDataPropertyExpression property,
                                                                         org.semanticweb.owl.model.OWLConstant constant)

hasValue

public static org.semanticweb.owl.model.OWLObjectValueRestriction hasValue(org.semanticweb.owl.model.OWLObjectPropertyExpression property,
                                                                           org.semanticweb.owl.model.OWLIndividual value)

Individual

public static org.semanticweb.owl.model.OWLIndividual Individual(java.lang.String uri)

Individual

public static org.semanticweb.owl.model.OWLIndividual Individual(java.net.URI uri)

instanceOf

public static org.semanticweb.owl.model.OWLClassAssertionAxiom instanceOf(org.semanticweb.owl.model.OWLIndividual ind,
                                                                          org.semanticweb.owl.model.OWLDescription desc)

Deprecated. Use classAssertion(OWLIndividual, OWLDescription) instead

intersectionOf

public static org.semanticweb.owl.model.OWLObjectIntersectionOf intersectionOf(org.semanticweb.owl.model.OWLDescription... descriptions)

Deprecated. Use and(OWLDescription...)

intersectionOf

public static org.semanticweb.owl.model.OWLObjectIntersectionOf intersectionOf(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)

Deprecated. Use and(Set) instead

inverse

public static org.semanticweb.owl.model.OWLObjectPropertyInverse inverse(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

inverseProperties

public static org.semanticweb.owl.model.OWLInverseObjectPropertiesAxiom inverseProperties(org.semanticweb.owl.model.OWLObjectPropertyExpression p1,
                                                                                          org.semanticweb.owl.model.OWLObjectPropertyExpression p2)

irreflexive

public static org.semanticweb.owl.model.OWLIrreflexiveObjectPropertyAxiom irreflexive(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

label

public static org.semanticweb.owl.model.OWLEntityAnnotationAxiom label(org.semanticweb.owl.model.OWLEntity entity,
                                                                       java.lang.String label)

max

public static org.semanticweb.owl.model.OWLDataMaxCardinalityRestriction max(org.semanticweb.owl.model.OWLDataPropertyExpression p,
                                                                             int max)

max

public static org.semanticweb.owl.model.OWLDataMaxCardinalityRestriction max(org.semanticweb.owl.model.OWLDataPropertyExpression p,
                                                                             int max,
                                                                             org.semanticweb.owl.model.OWLDataRange filler)

max

public static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction max(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                               int max)

max

public static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction max(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                               int max,
                                                                               org.semanticweb.owl.model.OWLDescription filler)

maxCardinality

public static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction maxCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                                          int max)

Deprecated. Use max(OWLObjectPropertyExpression, int) instead

maxCardinality

public static org.semanticweb.owl.model.OWLObjectMaxCardinalityRestriction maxCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                                          int max,
                                                                                          org.semanticweb.owl.model.OWLDescription filler)

Deprecated. Use max(OWLObjectPropertyExpression, int, OWLDescription) instead

min

public static org.semanticweb.owl.model.OWLDataMinCardinalityRestriction min(org.semanticweb.owl.model.OWLDataPropertyExpression p,
                                                                             int min)

min

public static org.semanticweb.owl.model.OWLDataMinCardinalityRestriction min(org.semanticweb.owl.model.OWLDataPropertyExpression p,
                                                                             int min,
                                                                             org.semanticweb.owl.model.OWLDataRange filler)

min

public static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction min(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                               int min)

min

public static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction min(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                               int min,
                                                                               org.semanticweb.owl.model.OWLDescription filler)

minCardinality

public static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction minCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                                          int min)

Deprecated. Use min(OWLObjectPropertyExpression, int) instead

minCardinality

public static org.semanticweb.owl.model.OWLObjectMinCardinalityRestriction minCardinality(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                                          int min,
                                                                                          org.semanticweb.owl.model.OWLDescription filler)

Deprecated. Use min(OWLObjectPropertyExpression, int, OWLDescription) instead

not

public static org.semanticweb.owl.model.OWLObjectComplementOf not(org.semanticweb.owl.model.OWLDescription description)

ObjectProperty

public static org.semanticweb.owl.model.OWLObjectProperty ObjectProperty(java.lang.String uri)

ObjectProperty

public static org.semanticweb.owl.model.OWLObjectProperty ObjectProperty(java.net.URI uri)

oneOf

public static org.semanticweb.owl.model.OWLDataOneOf oneOf(org.semanticweb.owl.model.OWLConstant... constants)

oneOf

public static org.semanticweb.owl.model.OWLObjectOneOf oneOf(org.semanticweb.owl.model.OWLIndividual... individuals)

oneOf

public static org.semanticweb.owl.model.OWLDataOneOf oneOf(java.util.Set<? extends org.semanticweb.owl.model.OWLConstant> constants)

oneOf

public static org.semanticweb.owl.model.OWLObjectOneOf oneOf(java.util.Set<org.semanticweb.owl.model.OWLIndividual> individuals)

or

public static org.semanticweb.owl.model.OWLObjectUnionOf or(org.semanticweb.owl.model.OWLDescription... descriptions)

or

public static org.semanticweb.owl.model.OWLObjectUnionOf or(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)

propertyAssertion

public static org.semanticweb.owl.model.OWLDataPropertyAssertionAxiom propertyAssertion(org.semanticweb.owl.model.OWLIndividual subj,
                                                                                        org.semanticweb.owl.model.OWLDataPropertyExpression pred,
                                                                                        org.semanticweb.owl.model.OWLConstant obj)

propertyAssertion

public static org.semanticweb.owl.model.OWLObjectPropertyAssertionAxiom propertyAssertion(org.semanticweb.owl.model.OWLIndividual subj,
                                                                                          org.semanticweb.owl.model.OWLObjectPropertyExpression pred,
                                                                                          org.semanticweb.owl.model.OWLIndividual obj)

range

public static org.semanticweb.owl.model.OWLDataPropertyRangeAxiom range(org.semanticweb.owl.model.OWLDataPropertyExpression p,
                                                                        org.semanticweb.owl.model.OWLDataRange d)

range

public static org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom range(org.semanticweb.owl.model.OWLObjectPropertyExpression p,
                                                                          org.semanticweb.owl.model.OWLDescription d)

reflexive

public static org.semanticweb.owl.model.OWLReflexiveObjectPropertyAxiom reflexive(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

sameAs

public static org.semanticweb.owl.model.OWLSameIndividualsAxiom sameAs(org.semanticweb.owl.model.OWLIndividual i1,
                                                                       org.semanticweb.owl.model.OWLIndividual i2)

sameAs

public static org.semanticweb.owl.model.OWLSameIndividualsAxiom sameAs(java.util.Set<org.semanticweb.owl.model.OWLIndividual> inds)

self

public static org.semanticweb.owl.model.OWLObjectSelfRestriction self(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

some

public static org.semanticweb.owl.model.OWLDataSomeRestriction some(org.semanticweb.owl.model.OWLDataPropertyExpression property,
                                                                    org.semanticweb.owl.model.OWLDataType datatype)

some

public static org.semanticweb.owl.model.OWLObjectSomeRestriction some(org.semanticweb.owl.model.OWLObjectPropertyExpression property,
                                                                      org.semanticweb.owl.model.OWLDescription description)

someValuesFrom

public static org.semanticweb.owl.model.OWLObjectSomeRestriction someValuesFrom(org.semanticweb.owl.model.OWLObjectPropertyExpression property,
                                                                                org.semanticweb.owl.model.OWLDescription description)

Deprecated. Use some(OWLObjectPropertyExpression, OWLDescription) instead

subClassOf

public static org.semanticweb.owl.model.OWLSubClassAxiom subClassOf(org.semanticweb.owl.model.OWLDescription sub,
                                                                    org.semanticweb.owl.model.OWLDescription sup)

subPropertyOf

public static org.semanticweb.owl.model.OWLDataSubPropertyAxiom subPropertyOf(org.semanticweb.owl.model.OWLDataPropertyExpression sub,
                                                                              org.semanticweb.owl.model.OWLDataPropertyExpression sup)

subPropertyOf

public static org.semanticweb.owl.model.OWLObjectSubPropertyAxiom subPropertyOf(org.semanticweb.owl.model.OWLObjectPropertyExpression sub,
                                                                                org.semanticweb.owl.model.OWLObjectPropertyExpression sup)

subPropertyOf

public static org.semanticweb.owl.model.OWLObjectPropertyChainSubPropertyAxiom subPropertyOf(org.semanticweb.owl.model.OWLObjectPropertyExpression[] subChain,
                                                                                             org.semanticweb.owl.model.OWLObjectPropertyExpression sup)

symmetric

public static org.semanticweb.owl.model.OWLSymmetricObjectPropertyAxiom symmetric(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

transitive

public static org.semanticweb.owl.model.OWLTransitiveObjectPropertyAxiom transitive(org.semanticweb.owl.model.OWLObjectPropertyExpression p)

unionOf

public static org.semanticweb.owl.model.OWLObjectUnionOf unionOf(org.semanticweb.owl.model.OWLDescription... descriptions)

Deprecated. Use or(OWLDescription...)

unionOf

public static org.semanticweb.owl.model.OWLObjectUnionOf unionOf(java.util.Set<? extends org.semanticweb.owl.model.OWLDescription> descriptions)

Deprecated. Use or(Set instead