Answer Class Reference

Public Member Functions
	__construct ($builder)
	set_kb_satis ($bool)
	add_satis_class ($classname)
	add_unsatis_class ($classname)
	add_subsumptions ($subsumptions_n)
	add_disjunctions ($disjunctions_n)
	add_equivalences ($equivalences_n)
	add_cardinality_link_sugges ($linkname, $col_classnames, $multiplicity, $roles)
	set_reasoner_input ($input_str)
	set_reasoner_output ($output_str)
	set_original_owl2 ($owl2_srt)
	get_new_owl2 ()
	start_owl2_answer ($ontologyIRI, $iris, $prefixes)
	end_owl2_answer ()
	translate_responses ($dl_responses)
	copyowl2_to_response ()
	get_equiv ($primitive)
	incorporate_inferredSubs ($infSubs)
	incorporate_inferredCards ($infCards)
	incorporate_inferredDisj ($infDisj)
	incorporate_inferredEquivs ($infEquivs)
	to_json ()

Protected Attributes
	$kb_satis = null
	$satis_classes = []
	$unsatis_classes = []
	$subsumptions = []
	$equivalences = []
	$disjunctions = []
	$reasoner_input = null
	$reasoner_output = null
	$new_owl2 = null
	$orig_owl2 = null
	$inferredSubs = []
	$inferredCards = []
	$inferredDisj = []
	$inferredEquivs = []

Detailed Description

A reasoner answer summary.

Why there's satisfiable classes and unsatisfiable too?

We need both, despite you may think that the complement of one set is the other.

Maybe, the GUI won't have all the set of classes, or maybe one class is a suggestion. The GUI is responsible to use one set, another or both depending on its needs.

So, for the purpose of being a bit RESTfull, it is good to have both sets despite all.

Constructor & Destructor Documentation

__construct

(

$builder

)

Member Function Documentation

add_cardinality_link_sugges	(		$linkname,
			$col_classnames,
			$multiplicity,
			$roles
	)

add_disjunctions

(

$disjunctions_n

)

add_equivalences

(

$equivalences_n

)

add_satis_class

(

$classname

)

add_subsumptions

(

$subsumptions_n

)

add_unsatis_class

(

$classname

)

copyowl2_to_response

(

)

end_owl2_answer

(

)

get_equiv

(

$primitive

)

get_new_owl2

(

)

incorporate_inferredCards

(

$infCards

)

incorporate_inferredDisj

(

$infDisj

)

incorporate_inferredEquivs

(

$infEquivs

)

incorporate_inferredSubs

(

$infSubs

)

set_kb_satis

(

$bool

)

set_original_owl2

(

$owl2_srt

)

set_reasoner_input

(

$input_str

)

set_reasoner_output

(

$output_str

)

start_owl2_answer	(		$ontologyIRI,
			$iris,
			$prefixes
	)

to_json

(

)

The string generated by to_json() is like the following.

{
    "satisfiable": {
        "kb" : true,
        "classes" : ["name1", "name2"]
    },
    "unsatisfiable": {
        "classes" : ["name3", "name4"]
    },
    "suggestions" : {
        "links" : [
            {"name" : "suggestion 1",
             "classes": ["classname 1", "classname 2"]}
        ]
    },
    "reasoner" : {
        "input" : "STRING WITH REASONER INPUT",
        "output" : "STRING WITH REASONER OUTPUT"
    }
}

translate_responses

(

$dl_responses

)

Field Documentation

$disjunctions = []

protected

$equivalences = []

protected

$inferredCards = []

protected

$inferredDisj = []

protected

$inferredEquivs = []

protected

$inferredSubs = []

protected

$kb_satis = null

protected

$new_owl2 = null

protected

$orig_owl2 = null

protected

$reasoner_input = null

protected

$reasoner_output = null

protected

$satis_classes = []

protected

$subsumptions = []

protected

$unsatis_classes = []

protected

---

The documentation for this class was generated from the following file:

• web-src/wicom/translator/strategies/qapackages/answeranalizers/answer.php