org.dllearner.utilities.owl

Class OWLPunningDetector

java.lang.Object

org.dllearner.utilities.owl.OWLPunningDetector

public class OWLPunningDetector
extends Object

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 Set<org.semanticweb.owlapi.model.OWLClass>	getPunningClasses(org.semanticweb.owlapi.model.OWLOntology ontology) Returns the classes of the ontology that are also used as individuals, i.e.
static Set<org.semanticweb.owlapi.model.IRI>	getPunningIRIs(org.semanticweb.owlapi.model.OWLOntology ontology) Returns the classes of the ontology that are also used as individuals, 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 class is also used as individual in the ontology.
static boolean	hasPunning(org.semanticweb.owlapi.model.OWLOntology ontology, String iri) 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 class is also used as individual in the ontology.

Parameters:

ontology - the ontology

cls - the class

Returns:

whether the class is also used as individual in the ontology

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 - ontology the ontology

iri - the IRI

Returns:

whether the IRI denotes both a class and an individual

getPunningClasses

public static Set<org.semanticweb.owlapi.model.OWLClass> getPunningClasses(org.semanticweb.owlapi.model.OWLOntology ontology)

Returns the classes of the ontology that are also used as individuals, i.e. types of other classes.

Parameters:

ontology - the ontology

Returns:

the classes

getPunningIRIs

public static Set<org.semanticweb.owlapi.model.IRI> getPunningIRIs(org.semanticweb.owlapi.model.OWLOntology ontology)

Returns the classes of the ontology that are also used as individuals, i.e. types of other classes.

Parameters:

ontology - the ontology

Returns:

the classes

hasPunning

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

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

Parameters:

ontology - the ontology

iri - the IRI

Returns:

whether the same IRI denotes both a class and an individual