OWLObjectPropertyImpl.isTransitive(...) is always true

Brought to you by: digitalis, ignazio1977, matthewhorridge, sean_bechhofer

#111 OWLObjectPropertyImpl.isTransitive(...) is always true

Status: closed-duplicate

Owner: Matthew Horridge

Labels: None

Priority: 5

Updated: 2010-07-01

Created: 2010-03-11

Creator: Julian Alfredo Mendez

Private: No

The isTransitive(OWLOntology) method in uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyExpressionImpl returns always true. This is also the case with other is* methods like isAsymmetric, isIrreflexive, isReflexive, ... . The reason could be that these methods check for nullity instead of emptiness.

Discussion

Matthew Horridge - 2010-07-01

See 3017636

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Matthew Horridge - 2010-07-01

assigned_to: nobody --> matthewhorridge

status: open --> closed-duplicate
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Matthew Horridge - 2010-07-01

Sorry, wrong duplicate. The correct one was reported by Thomas Scheneider. 3005709

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

OWLObjectPropertyImpl.isTransitive(...) is always true

Group

Searches

Help

#111 OWLObjectPropertyImpl.isTransitive(...) is always true

Discussion