fuzzydl
Class DatatypeReasoner

java.lang.Object
  fuzzydl.DatatypeReasoner

public class DatatypeReasoner
extends java.lang.Object

Datatype restrictions reasoner.

Constructor Summary

DatatypeReasoner()

Method Summary

static void	applyAtLeastValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy at-least value assertion, with respect to a fuzzy KB.
static void	applyAtMostValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy at-most value assertion, with respect to a fuzzy KB.
static void	applyExactValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy exact value assertion, with respect to a fuzzy KB.
static void	applyNotAtLeastValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy negated at-least value assertion, with respect to a fuzzy KB.
static void	applyNotAtMostValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy negated at-most value assertion, with respect to a fuzzy KB.
static void	applyNotExactValueRule(Assertion ass, KnowledgeBase kb) Reasons with a fuzzy negated exact value assertion, with respect to a fuzzy KB.

Methods inherited from class java.lang.Object

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

Constructor Detail

DatatypeReasoner

public DatatypeReasoner()

Method Detail

applyAtLeastValueRule

public static void applyAtLeastValueRule(Assertion ass,
                                         KnowledgeBase kb)
                                  throws FuzzyOntologyException

Reasons with a fuzzy at-least value assertion, with respect to a fuzzy KB.

Parameters:

ass - Fuzzy at-least value assertion.

kb - Fuzzy kb.

Throws:

FuzzyOntologyException

applyNotAtLeastValueRule

public static void applyNotAtLeastValueRule(Assertion ass,
                                            KnowledgeBase kb)
                                     throws FuzzyOntologyException

Reasons with a fuzzy negated at-least value assertion, with respect to a fuzzy KB.

Parameters:

ass - Negated fuzzy at-least value assertion.

kb - Fuzzy kb.

Throws:

FuzzyOntologyException

applyAtMostValueRule

public static void applyAtMostValueRule(Assertion ass,
                                        KnowledgeBase kb)
                                 throws FuzzyOntologyException

Reasons with a fuzzy at-most value assertion, with respect to a fuzzy KB.

Parameters:

ass - Fuzzy at-most value assertion.

kb - Fuzzy kb.

Throws:

FuzzyOntologyException

applyNotAtMostValueRule

public static void applyNotAtMostValueRule(Assertion ass,
                                           KnowledgeBase kb)
                                    throws FuzzyOntologyException

Reasons with a fuzzy negated at-most value assertion, with respect to a fuzzy KB.

Parameters:

ass - Negated fuzzy at-most value assertion.

kb - Fuzzy kb.

Throws:

FuzzyOntologyException

applyExactValueRule

public static void applyExactValueRule(Assertion ass,
                                       KnowledgeBase kb)
                                throws FuzzyOntologyException

Reasons with a fuzzy exact value assertion, with respect to a fuzzy KB.

Parameters:

ass - Fuzzy exact value assertion.

kb - Fuzzy kb.

Throws:

FuzzyOntologyException

applyNotExactValueRule

public static void applyNotExactValueRule(Assertion ass,
                                          KnowledgeBase kb)
                                   throws FuzzyOntologyException

Reasons with a fuzzy negated exact value assertion, with respect to a fuzzy KB.

Parameters:

ass - Negated fuzzy exact value assertion.

kb - Fuzzy kb.

Throws:

FuzzyOntologyException