Package iw.model

Provides interfaces for handling PML Java objects.

See:
Description

Interface Summary

IWAgent	This models the provenance information for the inference engines registered in IWBase.
IWAxiom	Represents Axioms stored in IWBase.
IWConclusionFiller
IWDeclarativeRule	Models the class of declarative rules.
IWDerivedRule	Models the class of derived inference rules in Inference Web.
IWFillerAntecedent
IWFillerMapping
IWInferenceEngine	This models the provenance information for the inference engines registered in IWBase.
IWInferenceRule	Models provenance information about inference rules in the IWBase.
IWInferenceStep	Models inference steps within the inference web.
IWInferenceStepOccur	Models specific occurrence of inference steps.
IWLanguage	Models the meta information about languages registered with the IWBase.
IWLanguageAxiomSet	Models provenance information about language axiom steps in the Inference Web.
IWMetaBinding
IWMethodRule	Models the class of declarative rules.
IWModel
IWModelElement	Models PML concepts.
IWNodeSet	Interface IWNodeSet is the PML API specification of the functionality of PML Nodesets.
IWNodeSetOccur	IWNodeSetOccur interface represents the actual "occurence" of a Nodeset is a proof.
IWOntology	Models the provenance information about ontologies registered in the IWBase.
IWOrganization	Models the provenance information about organizations.
IWPerson	Models the provenance information about persons.
IWPrimitiveRule	Models the class of primitive inference rules in Inference Web.
IWProofElement	Parent class of proof level PML concepts like NodeSets, queries etc
IWProvenanceElement	Provenance Element represents an information unit describing the origin some PML proof level concept.
IWPublication	Models the provenance information about publications registered with the IWBase.
IWQuery	Represents queries that are asked to inference web applications.
IWQuestion	PROBLEM
IWSource	Source is provenance element used to model sources registered in the inference web.
IWSourceUsage	Models Source Usage in Inference Web inference steps.
IWTeam	Models the provenance information about teams.
IWTranslationRule	Models provenance information about translation rules registered in the IWBase.
IWVariableMapping	Models variable mappings in Inference Web inference steps.
IWWebSite	Models the provenance information about WebSites.
PMLVocabulary

Class Summary

IWBase	The IWBase (formerly known as the IW Registry) is a hyperweb of distributed repositories of meta-information relevant to proofs and explanations, including knowledge provenance information.
IWContext
IWModelUtil
PML
ProofConfig

Package iw.model Description

Provides interfaces for handling PML Java objects. PML objects can be either proof-related documents, i.e., questions, queries, node sets, inference steps or provenance-related PML documents.

Proof-related objects are used for encoding information manipulation traces, e.g., proofs, and trace abstractions. An IWNodeSet represents a step in a proof whose conclusion is justified by any of a set of inference steps associated with the IWNodeSet. PML adopts the term node set since each instance of NodeSet can be viewed as a set of nodes gathered from one or more proof trees having the same conclusion. An IWInferenceStep represents a justification for the conclusion of a node set. Inference steps are anonymous OWL classes defined within node sets. For this reason, it is assumed that applications handling PML proofs are able to identify the node set of a inference step. Also for this reason, inference steps have no URIs.

Provenance-related objects annotates traces. For example, IWInferenceEngine identifies the engine responsible for an inference step justification and IWLanguage identifies the language used to write the node set conclusion.