org.dllearner.reasoning

Class OWLPunningDetector

java.lang.Object

org.dllearner.reasoning.OWLPunningDetector

public class OWLPunningDetector
extends Object

OWL 1 DL required a strict separation between the names of, e.g., classes and individuals. OWL 2 DL relaxes this separation somewhat to allow different uses of the same term, e.g., Eagle, to be used for both a class, the class of all Eagles, and an individual, the individual representing the species Eagle belonging to the (meta)class of all plant and animal species. However, OWL 2 DL still imposes certain restrictions: it requires that a name cannot be used for both a class and a datatype and that a name can only be used for one kind of property. The OWL 2 Direct Semantics treats the different uses of the same name as completely separate, as is required in DL reasoners.

Author:

Lorenz Buehmann

Field Summary

Fields

Modifier and Type	Field and Description
static org.semanticweb.owlapi.model.OWLObjectProperty	punningProperty This object property is used to connect individuals with classes that are also individuals, thus, lead to punning.

Constructor Summary

Constructors

Constructor and Description
OWLPunningDetector()

Method Summary

Modifier and Type	Method and Description
static boolean	hasPunning(org.semanticweb.owlapi.model.OWLOntology ontology) Checks whether the ontology contains punning, i.e.
static boolean	hasPunning(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.IRI iri) Checks whether the same IRI denotes both a class and an individual in the ontology.
static boolean	hasPunning(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLClass cls) Checks whether the same IRI denotes both a class and an individual in the ontology.

Methods inherited from class java.lang.Object

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

Field Detail

punningProperty

public static final org.semanticweb.owlapi.model.OWLObjectProperty punningProperty

This object property is used to connect individuals with classes that are also individuals, thus, lead to punning.

Constructor Detail

OWLPunningDetector

public OWLPunningDetector()

Method Detail

hasPunning

public static boolean hasPunning(org.semanticweb.owlapi.model.OWLOntology ontology,
                                 org.semanticweb.owlapi.model.OWLClass cls)

Checks whether the same IRI denotes both a class and an individual in the ontology.

Parameters:

ontology - the OWL ontology

cls - the OWL class

Returns:

TRUE if the class IRI is used also as individual, otherwise FALSE

hasPunning

public static boolean hasPunning(org.semanticweb.owlapi.model.OWLOntology ontology)

Checks whether the ontology contains punning, i.e. entities declared as both, class and individual.

Parameters:

ontology - the OWL ontology

Returns:

TRUE if there is at least one entity that is both, class and individual, otherwise FALSE

hasPunning

public static boolean hasPunning(org.semanticweb.owlapi.model.OWLOntology ontology,
                                 org.semanticweb.owlapi.model.IRI iri)

Checks whether the same IRI denotes both a class and an individual in the ontology.

Parameters:

ontology - the OWL ontology

iri - the entity IRI

Returns:

TRUE if the IRI is used as both, class and individual, otherwise FALSE