Package org.semanticweb.owlapi.model.providers

Interface ClassAssertionProvider

All Superinterfaces:

DatatypeProvider, LiteralProvider, Serializable

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface ClassAssertionProvider
extends LiteralProvider

Class assertion provider.

Method Summary

Modifier and Type	Method	Description
default OWLClassAssertionAxiom	getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual)
OWLClassAssertionAxiom	getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, Collection<OWLAnnotation> annotations)

Methods inherited from interface org.semanticweb.owlapi.model.providers.DatatypeProvider

getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype

Methods inherited from interface org.semanticweb.owlapi.model.providers.LiteralProvider

getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral

Method Details

getOWLClassAssertionAxiom

default OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
 OWLIndividual individual)

Parameters:

classExpression - class Expression

individual - individual

Returns:

a class assertion axiom

getOWLClassAssertionAxiom

OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
 OWLIndividual individual,
 Collection<OWLAnnotation> annotations)

Parameters:

classExpression - class Expression

individual - individual

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

Returns:

a class assertion axiom with annotations