]> CVS info: $Id: ksConfig.owl,v 1.12 2005/03/03 17:52:58 ian_dickinson Exp $ Nuin KS configuration ontology Ian Dickinson, mailto:Ian.Dickinson@hp.com $Date: 2005/03/03 17:52:58 $ Defines a simple ontology for configuring Nuin agent knowledge sources and their parameters. This class describes an instance of a knowledge source of the agent This property maps from an agent configuration to a knowledge source description. This property maps from a KS configuration to an ontology used to define the terms in the KS. This class denotes the space of known ks types (eg resolution prover or knowledge store). Maps from an AgentKS specification to the type of ks that is being defined Denotes KS's that may be told new facts This class describes an instance of a knowledge store that the agent is using to store sentential knowledge Instance that represents the well-known KS type for standard knowledge stores. Instance that represents the well-known KS type for RDF knowledge stores. This property maps from a knowledge store configuration to a boolean flag indicating whether the sentences asserted into the store should be normalised to canonical form. Collects together information about where an initial set of axioms for a store can be loaded from This property maps from a knowledge store configuration to a set of axioms for the store. This property maps from an axiom source specification to the encoding of the serialised axioms (by denoting the identity of the parser to use to de-serialise the axioms). This property represents an optional encoding option on axiom sources. A typical instance is the N3/RDF-XML/NTRIPLE sources that a Jena RDF model can read. This property maps from an axiom source specification to the location from which the axioms can be loaded Specifies an RDF model specification using Jena's JMS terminology Specifies an RDF reasoner to use in addition to the store specified by the model spec Specifies an RDF schema URI to use in addition to the store specified by the model spec. TODO this may be able to go when Chris completes the Jena model spec update. Specifies a sub-model of an ont-model. TODO this may be able to go when Chris updates the model spec update. This class describes an instance of a reasoner, that is used by the agent to infer additional knowledge from the recorded facts. Denotes a priority that may be used to schedule the order in which reasoners are applied to the solving of a goal Specifies the name of a knowledge source that this reasoner will reason over Instance that represents the well-known KS type for a KS dispatcher. Instance that represents the well-known KS type for a simple resolution theorem prover. Instance that represents the well-known KS type for a forward chaining rule system. A knowledge source that is specialised towards storing goals using the D modality Denotes a general class of specifying, in abstract terms, an admissible query (one that is accepted by a given reasoner) A simple admissible query denotes a query by means of the principal predicate name, and optionally the arity Denotes the arity of a query in a simple admissible query pattern. If omitted, the pattern matches all predicates with the given symbol and any arity. Denotes the predicate of a query in a simple admissible query pattern. Exactly one predicate per query pattern. Specifies one query that the reasoner will accept.