org.semanticweb.owlapi.profiles

Class UseOfNonSimplePropertyInDisjointPropertiesAxiom

java.lang.Object

org.semanticweb.owlapi.profiles.OWLProfileViolation

org.semanticweb.owlapi.profiles.UseOfNonSimplePropertyInDisjointPropertiesAxiom

All Implemented Interfaces:

OWL2DLProfileViolation

public class UseOfNonSimplePropertyInDisjointPropertiesAxiom
extends OWLProfileViolation
implements OWL2DLProfileViolation

Author:

Matthew Horridge, The University of Manchester, Information Management Group, Date: 03-Aug-2009

Constructor Summary

Constructors

Constructor and Description
UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology, OWLDisjointObjectPropertiesAxiom axiom, OWLObjectPropertyExpression prop)

Method Summary

Modifier and Type	Method and Description
void	accept(OWL2DLProfileViolationVisitor visitor)
OWLObjectPropertyExpression	getOWLObjectProperty()
String	toString()

Methods inherited from class org.semanticweb.owlapi.profiles.OWLProfileViolation

getAxiom, getDocumentIRI, getImportsClosure, getOntologyID

Methods inherited from class java.lang.Object

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

Constructor Detail

UseOfNonSimplePropertyInDisjointPropertiesAxiom

public UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology,
                                                       OWLDisjointObjectPropertiesAxiom axiom,
                                                       OWLObjectPropertyExpression prop)

Parameters:

ontology - wrong ontology

axiom - wrong axiom

prop - wrong property

Method Detail

getOWLObjectProperty

public OWLObjectPropertyExpression getOWLObjectProperty()

Returns:

wrong property

accept

public void accept(OWL2DLProfileViolationVisitor visitor)

Specified by:

accept in interface OWL2DLProfileViolation

Parameters:

visitor - visitor to accept

toString

public String toString()

Overrides:

toString in class Object