Public Member Functions | |
| generate_answer ($query, $answer, $owl2) | |
| goto_first_query () | |
| goto_first_response () | |
| get_current_owlclass ($query=true) | |
| parse_owllinkhierarchy () | |
| parse_owllinkdisjoint () | |
| parse_owllinkequivalent () | |
| parse_prefixes () | |
| get_responses () | |
| analize () | |
| incorporate_inferredSubs ($iSubs) | |
| incorporate_inferredCards ($iCards) | |
| get_equiv ($primitive) | |
Public Member Functions inherited from AnsAnalizer | |
| __construct () | |
| generate_answer ($query, $owl_answer, $owl2) | |
| get_answer () | |
| get_owl2_from_answer () | |
| analize () | |
| get_responses () | |
Data Fields | |
| const | ANSWERS_MAP |
| const | IsClassSatisfiable |
Protected Attributes | |
| $query_reader = null | |
| $answer_reader = null | |
Protected Attributes inherited from AnsAnalizer | |
| $answer = null | |
| $owllink_responses = null | |
| $owllink_queries = null | |
crowd Answer Analizer. Analise the answers and generate a new OWLlink document for the new Ontology!
<IsKBSatisfiable kb="http://localhost/kb1"> <OK> <IsClassSatisfiable kb="http://localhost/kb1"> <BooleanResponse result="true"> <GetSubClassHierarchy kb="http://localhost/kb1"> <ClassHierarchy> <ClassSynset> <owl:Class abbreviatedIRI="owl:Nothing"/> </ClassSynset> <ClassSubClassesPair> <ClassSynset> <owl:Class abbreviatedIRI="owl:Thing"/> </ClassSynset> <SubClassSynsets> <ClassSynset> <owl:Class IRI="A"/> </ClassSynset> </SubClassSynsets> </ClassSubClassesPair> </ClassHierarchy> <GetDisjointClasses kb="http://localhost/kb1"> <ClassSynsets> <ClassSynset> <owl:Class abbreviatedIRI="owl:Nothing"/> </ClassSynset> </ClassSynsets> <GetEquivalentClasses kb="http://localhost/kb1"> <SetOfClasses> <owl:Class IRI="A"/> </SetOfClasses>
| analize | ( | ) |
| generate_answer | ( | $query, | |
| $answer, | |||
| $owl2 | |||
| ) |
| get_current_owlclass | ( | $query = true | ) |
| get_equiv | ( | $primitive | ) |
| get_responses | ( | ) |
This function starts parsing OWLlink responses file using an Concrete Iterator and outs a new array of responses to be inserted in the new ontology. It delegates to SimpleXMLIterator and OWLlinkBuilder
| goto_first_query | ( | ) |
This function is for going until the first OWLlink query.
| goto_first_response | ( | ) |
This function is for going until the first OWLlink response.
| incorporate_inferredCards | ( | $iCards | ) |
| incorporate_inferredSubs | ( | $iSubs | ) |
| parse_owllinkdisjoint | ( | ) |
Parsing OWLlink <ClassSynsets> tag. This function returns an array of disjoint classes. <ClassSynsets> <ClassSynset> <owl:Class abbreviatedIRI="owl:Nothing"/> </ClassSynset> <ClassSynset> <owl:Class IRI="B"/> </ClassSynset> </ClassSynsets>
| parse_owllinkequivalent | ( | ) |
Parsing OWLlink <SetOfClasses> tag. This function returns an array of equivalent classes. <SetOfClasses> <owl:Class IRI="D"/> <owl:Class IRI="C"/> </SetOfClasses>
| parse_owllinkhierarchy | ( | ) |
Parsing OWLlink <ClassHierarchy> tag. This function returns an array of subhierarchies. <ClassSubClassesPair> <ClassSynset> <owl:Class abbreviatedIRI="owl:Thing"/> </ClassSynset> <SubClassSynsets> <ClassSynset> <owl:Class IRI="A"/> </ClassSynset> </SubClassSynsets> </ClassSubClassesPair>
| parse_prefixes | ( | ) |
Parsing OWLlink <Prefixes> tag. This function returns an array of prefixes. <Prefixes> <Prefix name="rdf" fulliri="http://www.w3.org/1999/02/22-rdf-syntax-ns#"> <Prefix name="rdfs" fulliri="http://www.w3.org/2000/01/rdf-schema#"> <Prefix name="xsd" fulliri="http://www.w3.org/2001/XMLSchema#"> <Prefix name="owl" fulliri="http://www.w3.org/2002/07/owl#"> <Prefix name="test" fulliri="http://www.owllink.org/test/ont#"> <Prefix name="myOnt" fulliri="http://www.owllink.org/examples/myOntology#"> </Prefixes>
|
protected |
XMLReader instance for parsing the reasoner answer.
|
protected |
XMLReader instance for parsing the query given to the reasoner.
| const ANSWERS_MAP |
Map between Queries and propper correct answers This method also generates the new ontology owllink after reasoning.
Used for filtering XML tags to the ones we care.
| const IsClassSatisfiable |
1.8.8