org.coode.owlapi.rdfxml.parser
Class ObjectMaxCardinalityTranslator

java.lang.Object
  org.coode.owlapi.rdfxml.parser.AbstractClassExpressionTranslator
      org.coode.owlapi.rdfxml.parser.AbstractRestrictionTranslator
          org.coode.owlapi.rdfxml.parser.AbstractObjectRestrictionTranslator
              org.coode.owlapi.rdfxml.parser.AbstractObjectCardinalityTranslator
                  org.coode.owlapi.rdfxml.parser.ObjectMaxCardinalityTranslator

All Implemented Interfaces:

ClassExpressionTranslator

public class ObjectMaxCardinalityTranslator
extends AbstractObjectCardinalityTranslator

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 08-Dec-2006

Constructor Summary

ObjectMaxCardinalityTranslator(OWLRDFConsumer consumer)

Method Summary

protected OWLClassExpression	createRestriction(OWLObjectPropertyExpression prop, int cardi)
protected OWLClassExpression	createRestriction(OWLObjectPropertyExpression prop, int cardi, OWLClassExpression filler) Given a property expression, cardinality and filler, this method creates the appropriate OWLAPI object
protected IRI	getCardinalityTriplePredicate() Gets the predicate of the cardinality triple (e.g.
protected IRI	getQualifiedCardinalityTriplePredicate()

Methods inherited from class org.coode.owlapi.rdfxml.parser.AbstractObjectCardinalityTranslator

translateRestriction

Methods inherited from class org.coode.owlapi.rdfxml.parser.AbstractObjectRestrictionTranslator

translateOnProperty

Methods inherited from class org.coode.owlapi.rdfxml.parser.AbstractRestrictionTranslator

translate

Methods inherited from class org.coode.owlapi.rdfxml.parser.AbstractClassExpressionTranslator

getConsumer, getDataFactory, getLiteralObject, getResourceObject, isTriplePresent, translateToClassExpression, translateToClassExpressionSet, translateToIndividualSet

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectMaxCardinalityTranslator

public ObjectMaxCardinalityTranslator(OWLRDFConsumer consumer)

Method Detail

createRestriction

protected OWLClassExpression createRestriction(OWLObjectPropertyExpression prop,
                                               int cardi)

createRestriction

protected OWLClassExpression createRestriction(OWLObjectPropertyExpression prop,
                                               int cardi,
                                               OWLClassExpression filler)

Description copied from class: AbstractObjectCardinalityTranslator

Given a property expression, cardinality and filler, this method creates the appropriate OWLAPI object

Specified by:

createRestriction in class AbstractObjectCardinalityTranslator

getCardinalityTriplePredicate

protected IRI getCardinalityTriplePredicate()

Description copied from class: AbstractObjectCardinalityTranslator

Gets the predicate of the cardinality triple (e.g. minCardinality, cardinality, maxCardinality)

Specified by:

getCardinalityTriplePredicate in class AbstractObjectCardinalityTranslator

Returns:

The IRI corresponding to the predicate of the triple that identifies the cardinality of the restriction.

getQualifiedCardinalityTriplePredicate

protected IRI getQualifiedCardinalityTriplePredicate()

Specified by:

getQualifiedCardinalityTriplePredicate in class AbstractObjectCardinalityTranslator