org.semanticweb.owlapi.model.axiomproviders

Interface DomainAxiomProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface DomainAxiomProvider

Annotation, datatype and object property domain provider.

Method Summary

Modifier and Type	Method and Description
default OWLAnnotationPropertyDomainAxiom	getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop, IRI domain)
OWLAnnotationPropertyDomainAxiom	getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop, IRI domain, Collection<OWLAnnotation> annotations)
default OWLDataPropertyDomainAxiom	getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain)
OWLDataPropertyDomainAxiom	getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
default OWLObjectPropertyDomainAxiom	getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyDomainAxiom	getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations)

Method Detail

getOWLObjectPropertyDomainAxiom

default OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
                                                                     OWLClassExpression classExpression)

Parameters:

property - property

classExpression - class Expression

Returns:

an object property domain axiom

getOWLObjectPropertyDomainAxiom

OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property,
                                                             OWLClassExpression classExpression,
                                                             Collection<OWLAnnotation> annotations)

Parameters:

property - property

classExpression - class Expression

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

an object property domain axiom with annotations

getOWLDataPropertyDomainAxiom

default OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
                                                                 OWLClassExpression domain)

Parameters:

property - property

domain - domain

Returns:

a data property domain axiom

getOWLDataPropertyDomainAxiom

OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property,
                                                         OWLClassExpression domain,
                                                         Collection<OWLAnnotation> annotations)

Parameters:

property - property

domain - domain

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

a data property domain axiom with annotations

getOWLAnnotationPropertyDomainAxiom

default OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
                                                                             IRI domain)

Parameters:

prop - prop

domain - domain

Returns:

an annotation property domain assertion

getOWLAnnotationPropertyDomainAxiom

OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(OWLAnnotationProperty prop,
                                                                     IRI domain,
                                                                     Collection<OWLAnnotation> annotations)

Parameters:

prop - prop

domain - domain

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

an annotation property domain assertion with annotations