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