org.dllearner.utilities

Class NonStandardReasoningServices

java.lang.Object

org.dllearner.utilities.NonStandardReasoningServices

public class NonStandardReasoningServices
extends Object

A collection of services that are known as non-standard reasoning.

Author:

Lorenz Buehmann

Constructor Summary

Constructors

Constructor and Description
NonStandardReasoningServices()

Method Summary

Modifier and Type	Method and Description
static <E extends org.semanticweb.owlapi.model.OWLEntity> E	getLeastCommonSubsumer(AbstractReasonerComponent reasoner, E e1, E e2) Computes the least common subsumer (LCS) of the given entities e1 and e2 if exists, otherwise null
static <E extends org.semanticweb.owlapi.model.OWLEntity> org.apache.jena.graph.Node	getLeastCommonSubsumer(AbstractReasonerComponent reasoner, org.apache.jena.graph.Node n1, org.apache.jena.graph.Node n2, org.semanticweb.owlapi.model.EntityType<E> entityType) Computes the least common subsumer (LCS) of the given entities e1 and e2 if exists, otherwise null

Methods inherited from class java.lang.Object

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

Constructor Detail

NonStandardReasoningServices

public NonStandardReasoningServices()

Method Detail

getLeastCommonSubsumer

public static <E extends org.semanticweb.owlapi.model.OWLEntity> org.apache.jena.graph.Node getLeastCommonSubsumer(AbstractReasonerComponent reasoner,
                                                                                                                   org.apache.jena.graph.Node n1,
                                                                                                                   org.apache.jena.graph.Node n2,
                                                                                                                   org.semanticweb.owlapi.model.EntityType<E> entityType)

Computes the least common subsumer (LCS) of the given entities e1 and e2 if exists, otherwise null

Type Parameters:

E - the entity type

Parameters:

reasoner - the reasoner used to compute the direct parents

n1 - first entity

n2 - second entity

entityType - the entity type

Returns:

the LCS if exists

getLeastCommonSubsumer

public static <E extends org.semanticweb.owlapi.model.OWLEntity> E getLeastCommonSubsumer(AbstractReasonerComponent reasoner,
                                                                                          E e1,
                                                                                          E e2)

Computes the least common subsumer (LCS) of the given entities e1 and e2 if exists, otherwise null

Type Parameters:

E - the entity type

Parameters:

reasoner - the reasoner used to compute the direct parents

e1 - first entity

e2 - second entity

Returns:

the LCS if exists