org.semanticweb.owlapi.apibinding
Class OWLFunctionalSyntaxFactory

java.lang.Object
  org.semanticweb.owlapi.apibinding.OWLFunctionalSyntaxFactory

public class OWLFunctionalSyntaxFactory
extends java.lang.Object

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2010

A utility class whose methods may be statically imported so that OWL API objects can be constructed by writing code that looks like the OWL 2 Functional Syntax.

Note that this class is primarily intended for developers who need to write test cases. Normal client code should probably use an OWLDataFactory for creating objects.

Constructor Summary

OWLFunctionalSyntaxFactory()

Method Summary

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)
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)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLFunctionalSyntaxFactory

public OWLFunctionalSyntaxFactory()

Method Detail

Class

public static OWLClass Class(IRI iri)

Class

public static OWLClass Class(java.lang.String abbreviatedIRI,
                             PrefixManager pm)

OWLThing

public static OWLClass OWLThing()

OWLNothing

public static OWLClass OWLNothing()

ObjectProperty

public static OWLObjectProperty ObjectProperty(IRI iri)

ObjectProperty

public static OWLObjectProperty ObjectProperty(java.lang.String abbreviatedIRI,
                                               PrefixManager pm)

ObjectInverseOf

public static OWLObjectInverseOf ObjectInverseOf(OWLObjectPropertyExpression pe)

DataProperty

public static OWLDataProperty DataProperty(IRI iri)

DataProperty

public static OWLDataProperty DataProperty(java.lang.String abbreviatedIRI,
                                           PrefixManager pm)

AnnotationProperty

public static OWLAnnotationProperty AnnotationProperty(IRI iri)

AnnotationProperty

public static OWLAnnotationProperty AnnotationProperty(java.lang.String abbreviatedIRI,
                                                       PrefixManager pm)

NamedIndividual

public static OWLNamedIndividual NamedIndividual(IRI iri)

NamedIndividual

public static OWLNamedIndividual NamedIndividual(java.lang.String abbreviatedIRI,
                                                 PrefixManager pm)

Datatype

public static OWLDatatype Datatype(IRI iri)

Declaration

public static OWLDeclarationAxiom Declaration(OWLEntity entity)

ObjectIntersectionOf

public static OWLObjectIntersectionOf ObjectIntersectionOf(OWLClassExpression... classExpressions)

ObjectUnionOf

public static OWLObjectUnionOf ObjectUnionOf(OWLClassExpression... classExpressions)

ObjectComplementOf

public static OWLObjectComplementOf ObjectComplementOf(OWLClassExpression classExpression)

ObjectSomeValuesFrom

public static OWLObjectSomeValuesFrom ObjectSomeValuesFrom(OWLObjectPropertyExpression pe,
                                                           OWLClassExpression ce)

ObjectAllValuesFrom

public static OWLObjectAllValuesFrom ObjectAllValuesFrom(OWLObjectPropertyExpression pe,
                                                         OWLClassExpression ce)

ObjectHasValue

public static OWLObjectHasValue ObjectHasValue(OWLObjectPropertyExpression pe,
                                               OWLIndividual individual)

ObjectMinCardinality

public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality,
                                                           OWLObjectPropertyExpression pe,
                                                           OWLClassExpression ce)

ObjectMaxCardinality

public static OWLObjectMaxCardinality ObjectMaxCardinality(int cardinality,
                                                           OWLObjectPropertyExpression pe,
                                                           OWLClassExpression ce)

ObjectExactCardinality

public static OWLObjectExactCardinality ObjectExactCardinality(int cardinality,
                                                               OWLObjectPropertyExpression pe,
                                                               OWLClassExpression ce)

ObjectHasSelf

public static OWLObjectHasSelf ObjectHasSelf(OWLObjectPropertyExpression pe)

ObjectOneOf

public static OWLObjectOneOf ObjectOneOf(OWLIndividual... individuals)

DataSomeValuesFrom

public static OWLDataSomeValuesFrom DataSomeValuesFrom(OWLDataPropertyExpression pe,
                                                       OWLDataRange dr)

DataAllValuesFrom

public static OWLDataAllValuesFrom DataAllValuesFrom(OWLDataPropertyExpression pe,
                                                     OWLDataRange dr)

DataHasValue

public static OWLDataHasValue DataHasValue(OWLDataPropertyExpression pe,
                                           OWLLiteral literal)

DataMinCardinality

public static OWLDataMinCardinality DataMinCardinality(int cardinality,
                                                       OWLDataPropertyExpression pe,
                                                       OWLDataRange dr)

DataMaxCardinality

public static OWLDataMaxCardinality DataMaxCardinality(int cardinality,
                                                       OWLDataPropertyExpression pe,
                                                       OWLDataRange dr)

DataExactCardinality

public static OWLDataExactCardinality DataExactCardinality(int cardinality,
                                                           OWLDataPropertyExpression pe,
                                                           OWLDataRange dr)

DataIntersectionOf

public static OWLDataIntersectionOf DataIntersectionOf(OWLDataRange... dataRanges)

DataUnionOf

public static OWLDataUnionOf DataUnionOf(OWLDataRange... dataRanges)

DataComplementOf

public static OWLDataComplementOf DataComplementOf(OWLDataRange dataRange)

DataOneOf

public static OWLDataOneOf DataOneOf(OWLLiteral... literals)

DatatypeRestriction

public static OWLDatatypeRestriction DatatypeRestriction(OWLDatatype datatype,
                                                         OWLFacetRestriction... facetRestrictions)

FacetRestriction

public OWLFacetRestriction FacetRestriction(OWLFacet facet,
                                            OWLLiteral facetValue)

SubClassOf

public static OWLSubClassOfAxiom SubClassOf(OWLClassExpression subClass,
                                            OWLClassExpression superClass)

EquivalentClasses

public static OWLEquivalentClassesAxiom EquivalentClasses(OWLClassExpression... classExpressions)

DisjointClasses

public static OWLDisjointClassesAxiom DisjointClasses(OWLClassExpression... classExpressions)

DisjointUnion

public static OWLDisjointUnionAxiom DisjointUnion(OWLClass cls,
                                                  OWLClassExpression... classExpressions)

SubObjectPropertyOf

public static OWLSubObjectPropertyOfAxiom SubObjectPropertyOf(OWLObjectPropertyExpression subProperty,
                                                              OWLObjectPropertyExpression superProperty)

EquivalentObjectProperties

public static OWLEquivalentObjectPropertiesAxiom EquivalentObjectProperties(OWLObjectPropertyExpression... properties)

DisjointObjectProperties

public static OWLDisjointObjectPropertiesAxiom DisjointObjectProperties(OWLObjectPropertyExpression... properties)

InverseObjectProperties

public static OWLInverseObjectPropertiesAxiom InverseObjectProperties(OWLObjectPropertyExpression peA,
                                                                      OWLObjectPropertyExpression peB)

ObjectPropertyDomain

public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain(OWLObjectPropertyExpression property,
                                                                OWLClassExpression domain)

ObjectPropertyRange

public static OWLObjectPropertyRangeAxiom ObjectPropertyRange(OWLObjectPropertyExpression property,
                                                              OWLClassExpression range)

FunctionalObjectProperty

public static OWLFunctionalObjectPropertyAxiom FunctionalObjectProperty(OWLObjectPropertyExpression property)

InverseFunctionalObjectProperty

public static OWLInverseFunctionalObjectPropertyAxiom InverseFunctionalObjectProperty(OWLObjectPropertyExpression property)

ReflexiveObjectProperty

public static OWLReflexiveObjectPropertyAxiom ReflexiveObjectProperty(OWLObjectPropertyExpression property)

IrreflexiveObjectProperty

public static OWLIrreflexiveObjectPropertyAxiom IrreflexiveObjectProperty(OWLObjectPropertyExpression property)

SymmetricObjectProperty

public static OWLSymmetricObjectPropertyAxiom SymmetricObjectProperty(OWLObjectPropertyExpression property)

AsymmetricObjectProperty

public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty(OWLObjectPropertyExpression property)

TransitiveObjectProperty

public static OWLTransitiveObjectPropertyAxiom TransitiveObjectProperty(OWLObjectPropertyExpression property)

SubDataPropertyOf

public static OWLSubDataPropertyOfAxiom SubDataPropertyOf(OWLDataPropertyExpression subProperty,
                                                          OWLDataPropertyExpression superProperty)

EquivalentDataProperties

public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties(OWLDataPropertyExpression... properties)

DisjointDataProperties

public static OWLDisjointDataPropertiesAxiom DisjointDataProperties(OWLDataPropertyExpression... properties)

DataPropertyDomain

public static OWLDataPropertyDomainAxiom DataPropertyDomain(OWLDataPropertyExpression property,
                                                            OWLClassExpression domain)

DataPropertyRange

public static OWLDataPropertyRangeAxiom DataPropertyRange(OWLDataPropertyExpression property,
                                                          OWLDataRange range)

FunctionalDataProperty

public static OWLFunctionalDataPropertyAxiom FunctionalDataProperty(OWLDataPropertyExpression property)

DatatypeDefinition

public static OWLDatatypeDefinitionAxiom DatatypeDefinition(OWLDatatype datatype,
                                                            OWLDataRange dataRange)

HasKey

public static OWLHasKeyAxiom HasKey(OWLClassExpression classExpression,
                                    OWLPropertyExpression... propertyExpressions)

SameIndividual

public static OWLSameIndividualAxiom SameIndividual(OWLIndividual... individuals)

DifferentIndividuals

public static OWLDifferentIndividualsAxiom DifferentIndividuals(OWLIndividual... individuals)

ClassAssertion

public static OWLClassAssertionAxiom ClassAssertion(OWLClassExpression ce,
                                                    OWLIndividual ind)

ObjectPropertyAssertion

public static OWLObjectPropertyAssertionAxiom ObjectPropertyAssertion(OWLObjectPropertyExpression property,
                                                                      OWLIndividual source,
                                                                      OWLIndividual target)

NegativeObjectPropertyAssertion

public static OWLNegativeObjectPropertyAssertionAxiom NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property,
                                                                                      OWLIndividual source,
                                                                                      OWLIndividual target)

DataPropertyAssertion

public static OWLDataPropertyAssertionAxiom DataPropertyAssertion(OWLDataPropertyExpression property,
                                                                  OWLIndividual source,
                                                                  OWLLiteral target)

NegativeDataPropertyAssertion

public static OWLNegativeDataPropertyAssertionAxiom NegativeDataPropertyAssertion(OWLDataPropertyExpression property,
                                                                                  OWLIndividual source,
                                                                                  OWLLiteral target)

AnnotationAssertion

public static OWLAnnotationAssertionAxiom AnnotationAssertion(OWLAnnotationProperty property,
                                                              OWLAnnotationSubject subject,
                                                              OWLAnnotationValue value)

SubAnnotationPropertyOf

public static OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf(OWLAnnotationProperty subProperty,
                                                                      OWLAnnotationProperty superProperty)

AnnotationPropertyDomain

public static OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain(OWLAnnotationProperty property,
                                                                        IRI iri)

AnnotationPropertyRange

public static OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange(OWLAnnotationProperty property,
                                                                      IRI iri)

IRI

public static IRI IRI(java.lang.String iri)

PlainLiteral

public static OWLLiteral PlainLiteral(java.lang.String literal)

Literal

public static OWLLiteral Literal(java.lang.String literal,
                                 java.lang.String lang)

Literal

public static OWLLiteral Literal(java.lang.String literal)

Literal

public static OWLLiteral Literal(boolean literal)

Literal

public static OWLLiteral Literal(int literal)

Literal

public static OWLLiteral Literal(double literal)

Literal

public static OWLLiteral Literal(float literal)

Ontology

public static OWLOntology Ontology(OWLOntologyManager man,
                                   OWLAxiom... axioms)
                            throws OWLOntologyCreationException

Throws:

OWLOntologyCreationException