Ontology http://www.ksl.stanford.edu/software/IW/spec/iw.daml
Link
http://www.ksl.stanford.edu/software/IW/spec/iw.daml (hyperdaml) (dumpont)
Description
Ontology for specifying proofs and their components on the web. This ontology is used by Inference Web for representing, exchanging, and reusing proofs, proof fragments, and proof meta-information.
It contains meta information compatible with dublin core as well. More info
http://www.ksl.stanford.edu/software/IW/spec/
Point of Contact
Paulo Pinheiro da Silva of Knowledge Systems Laboratory, Stanford University
Submitter
Deborah L. McGuinness of Knowledge Systems Laboratory, Stanford University
Submission Date
2003-07-29
Keywords
daml+oil
data provenance
explanation
knowledge provenance
meta information
owl
portable proof
semantic web
Classes
AbstractInferenceRule
Axiom
DeclarativeRule
DerivedRule
DomainSpecificOntology
InferenceEngine
InferenceStep
KIF
Language
LanguageAxiomSet
Ontology
Organization
Person
PrimitiveRule
ProceduralRule
Publication
Query
QueryLanguage
Question
RegistryElement
Source
Team
VariableMapping
WFF
Properties
AxiomContent
Conclusion
Date
Date
DescribedFrom
EnglishDescription
EnglishDescription
EnglishDescriptionTemplate
EnglishDescriptionTemplate
EnglishExample
EnglishExample
FirstSubmissionDate
FirstSubmissionDate
fromAnswer
fromQuery
hasAnswer
hasAnswerPattern
hasAnswerPattern
hasAntecedent
hasAuthor
hasAxiom
hasDischarge
hasInferenceEngine
hasLanguageAxiomSet
hasMember
hasRule
hasSource
hasVariableMapping
InferenceEngineRule
isConsequentOf
isExplanationOf
isFromEngine
isQueryFor
isWrittenIn
LastSubmissionDate
LastSubmissionDate
Name
Name
OptimizationParam
OptimizationParam
Premises
QualifyingOrganization
QueryContent
QueryContent
QuestionContent
QuestionContent
SideCondition
Statement
Statement
Submitter
TacticOfAxiom
Term
Term
URL
URL
Variable
Variable
VerificationProcedure
VerificationProcedure
Version
Version
WFFContent
WFFOntology
Namespaces Used
http://www.daml.org/2001/03/daml+oil
http://www.w3.org/1999/02/22-rdf-syntax-ns
http://www.w3.org/2000/01/rdf-schema
Funding Source
DARPA DAML Program
Notes
Inference Web is used by the DQL Server and client implementation as well as the wine agent implementation. It is a freely available explanation infrastructure for the web.