Method Summary |
|
Document | exportKnowledgeBase(KnowledgeBase kb) Export a knowledge base, i.e., convert it into an xml document. |
String | getDTD() Get the location (URL) of the associated DTD. |
String | getDescription() Get a short text describing the driver. |
String | getName() Get the name of the driver. |
KnowledgeBase | importKnowledgeBase(Document doc) Import a knowledge base, i.e., build it from an xml document. |
boolean | supportsAutoFacts() Indicates whether the driver (and the underlying xml format (=dtd))
supports auto facts. |
boolean | supportsClauseSets() Indicates whether the driver (and the underlying xml format (=dtd))
supports clause sets. |
boolean | supportsFacts() Indicates whether the driver (and the underlying xml format (=dtd))
supports facts. |
boolean | supportsFunctions() Indicates whether the driver (and the underlying xml format (=dtd))
supports functions. |
boolean | supportsJavaSemantics() Indicates whether the driver (and the underlying xml format (=dtd))
supports the java semantics (e.g. |
boolean | supportsMultiplePremises() Indicates whether the driver (and the underlying xml format (=dtd))
supports multiple premises. |
boolean | supportsNegationAsFailure() Indicates whether the driver (and the underlying xml format (=dtd))
supports negation as failure. |
boolean | supportsOrPremises() Indicates whether the driver (and the underlying xml format (=dtd))
supports multiple premises connected by OR. |
boolean | supportsQueries() Indicates whether the driver (and the underlying xml format (=dtd))
supports queries. |
boolean | supportsTypes() Indicates whether the driver (and the underlying xml format (=dtd))
supports types. |