de.fau.cs.www8.jadeowlcodec
Class IncomingInformMessage

java.lang.Object
  extended by de.fau.cs.www8.jadeowlcodec.IncomingDocument
      extended by de.fau.cs.www8.jadeowlcodec.IncomingMessage
          extended by de.fau.cs.www8.jadeowlcodec.IncomingInformMessage

public class IncomingInformMessage
extends IncomingMessage


Nested Class Summary
 
Nested classes/interfaces inherited from class de.fau.cs.www8.jadeowlcodec.IncomingMessage
IncomingMessage.IncomingMessageCheckResults
 
Field Summary
 
Fields inherited from class de.fau.cs.www8.jadeowlcodec.IncomingMessage
debugflag, errors
 
Fields inherited from class de.fau.cs.www8.jadeowlcodec.IncomingDocument
doc, tBoxVersion
 
Constructor Summary
IncomingInformMessage(jade.lang.acl.ACLMessage msg, KnowledgeBase kb)
           
IncomingInformMessage(java.io.InputStream ins, TBoxVersion tBoxVersion, java.lang.String name)
          Deprecated.  
 
Method Summary
 IncomingMessage.IncomingMessageCheckResults checkWithResultSetDefinitions(OutgoingQueryRefMessage queryRef)
          tells queryRef content into a fresh reasonerKB, then tells agentKB tbox, then this message content, then agentKB abox
 AssertionSet getAssertionSet()
           
 java.util.Set<Uri.Concept> getUnknownClasses()
           
 java.util.List<Uri.Role> getUnknownProperties()
           
 
Methods inherited from class de.fau.cs.www8.jadeowlcodec.IncomingMessage
getACLMessage, getCheckResult, getErrors, getPerformative, makeCheckResult, makeCheckResult, parseMessage
 
Methods inherited from class de.fau.cs.www8.jadeowlcodec.IncomingDocument
adjustMessageNamespaces, adjustNamespacesForTBox, getAgentKB, getDoc, possiblyNamespaceID, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IncomingInformMessage

public IncomingInformMessage(jade.lang.acl.ACLMessage msg,
                             KnowledgeBase kb)
                      throws javax.xml.parsers.ParserConfigurationException,
                             org.xml.sax.SAXException,
                             java.io.IOException
Throws:
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
java.io.IOException

IncomingInformMessage

@Deprecated
public IncomingInformMessage(java.io.InputStream ins,
                                        TBoxVersion tBoxVersion,
                                        java.lang.String name)
                      throws javax.xml.parsers.ParserConfigurationException,
                             org.xml.sax.SAXException,
                             java.io.IOException
Deprecated. 

for internal testing only, public because test is in different package

Parameters:
ins -
tBoxVersion -
name -
Throws:
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
java.io.IOException
Method Detail

checkWithResultSetDefinitions

public IncomingMessage.IncomingMessageCheckResults checkWithResultSetDefinitions(OutgoingQueryRefMessage queryRef)
tells queryRef content into a fresh reasonerKB, then tells agentKB tbox, then this message content, then agentKB abox

Parameters:
queryRef -
Returns:
results of query-ref content + agentKB tbox + content of this message and same + agentKB abox

getAssertionSet

public AssertionSet getAssertionSet()

getUnknownClasses

public java.util.Set<Uri.Concept> getUnknownClasses()

getUnknownProperties

public java.util.List<Uri.Role> getUnknownProperties()


Copyright 2007 Moritz Goeb, Bernhard Schiemann, Ulf Schreiber of Chair of Artificial Intelligence, University of Erlangen-Nuremberg