fuzzydl

Class SatisfiableQuery

java.lang.Object

fuzzydl.Query

fuzzydl.SatisfiableQuery

Direct Known Subclasses:

MaxSatisfiableQuery, MinSatisfiableQuery

public abstract class SatisfiableQuery
extends Query

Fuzzy concept satisfiability query.

Author:

Fernando Bobillo

Constructor Summary

Constructors

Constructor and Description
SatisfiableQuery(Concept c) Constructor for a general satisfiability query.
SatisfiableQuery(Concept c, Individual a) Constructor for a satisfiability query involving a specific individual.

Method Summary

Methods inherited from class fuzzydl.Query

getTotalTime, preprocess, setInitialTime, setTotalTime, solve, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SatisfiableQuery

public SatisfiableQuery(Concept c)
                 throws FuzzyOntologyException

Constructor for a general satisfiability query.

Parameters:

c - A fuzzy concept for which the satisfiability is to be tested.

Throws:

FuzzyOntologyException - fuzzy ontology exception.

SatisfiableQuery

public SatisfiableQuery(Concept c,
                        Individual a)
                 throws FuzzyOntologyException

Constructor for a satisfiability query involving a specific individual.

Parameters:

c - A fuzzy concept for which the satisfiability is to be tested.

a - An individual used in the satisfiability test.

Throws:

FuzzyOntologyException - fuzzy ontology exception.