public class OwlObjectInverseOfConverterVisitor extends Object implements org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<ElkObjectPropertyExpression>
OWLObjectPropertyExpression to the corresponding
ElkObjectPropertyExpression. This is needed because instances of
OWLObjectInverseOf cannot be directly converted to
ElkObjectInverseOf since inverse of object properties can be nested
in OWL API but not in OWL 2 and thus in ELK OWL model.| Modifier and Type | Method and Description |
|---|---|
static OwlObjectInverseOfConverterVisitor |
getInstance() |
ElkObjectPropertyExpression |
visit(org.semanticweb.owlapi.model.OWLDataProperty property) |
ElkObjectPropertyExpression |
visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property) |
ElkObjectPropertyExpression |
visit(org.semanticweb.owlapi.model.OWLObjectProperty property) |
public static OwlObjectInverseOfConverterVisitor getInstance()
public ElkObjectPropertyExpression visit(org.semanticweb.owlapi.model.OWLObjectProperty property)
visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<ElkObjectPropertyExpression>public ElkObjectPropertyExpression visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property)
visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<ElkObjectPropertyExpression>public ElkObjectPropertyExpression visit(org.semanticweb.owlapi.model.OWLDataProperty property)
visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<ElkObjectPropertyExpression>Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.