- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Tue, 29 Apr 2003 13:49:09 +0200
- To: www-archive@w3.org
#Original from http://www.ksl.stanford.edu/software/IW/spec/iw.daml
#Processed by Id: cwm.py,v 1.129 2003/04/08 16:12:43 timbl Exp
# using base file:/temp/iw.daml
# Notation3 generation by
# notation3.py,v 1.138 2003/04/25 19:12:46 sandro Exp
# Base was: file:/temp/iw.daml
@prefix : <#> .
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
<> a daml:Ontology;
daml:imports <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>;
daml:versionInfo "$Id: iw.daml,v 0.5, 03/28/03, Paulo Pinheiro da
Silva $" .
:AbstractInferenceRule a daml:Class;
rdfs:subClassOf :RegistryElement,
[
a daml:Restriction;
daml:maxCardinality "\n 1\n ";
daml:onProperty :TacticOfAxiom ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :RuleSource ],
[
a daml:Restriction;
daml:maxCardinality "\n 1\n ";
daml:onProperty :EnglishDescriptionTemplate ],
[
a daml:Restriction;
daml:maxCardinality "\n 1\n ";
daml:onProperty :EnglishExample ] .
:Author a daml:DatatypeProperty;
rdfs:range rdfs:Literal .
:Axiom a daml:Class;
rdfs:subClassOf :RegistryElement,
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :AxiomContent ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :EnglishDescription ],
[
a daml:Restriction;
daml:maxCardinality "\n 1\n ";
daml:onProperty :EnglishExample ],
[
a daml:Restriction;
daml:maxCardinality "\n 1\n ";
daml:onProperty :OptimizationParam ] .
:AxiomContent a daml:ObjectProperty;
rdfs:domain :Axiom;
rdfs:range :KIF .
:Conclusion a daml:ObjectProperty;
rdfs:domain :InferenceRule;
rdfs:range :KIF .
:Date a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range <http://www.w3.org/2000/10/XMLSchema#date> .
:DerivedRule a daml:Class;
rdfs:subClassOf :AbstractInferenceRule,
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :DescribedFrom ] .
:DescribedFrom a daml:ObjectProperty;
rdfs:domain :DerivedRule;
rdfs:range :WFF .
:EnglishDescription a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:EnglishDescriptionTemplate a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:comment """
The structure of templates for presenting English explanations in
English is not defined yet.
A string (rdf-schema Literal) is used to handle the template in this
version of the IW spec.
""";
rdfs:range rdfs:Literal .
:EnglishExample a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:FirstSubmissionDate a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range <http://www.w3.org/2000/10/XMLSchema#date> .
:InferenceEngine a daml:Class;
rdfs:subClassOf :RegistryElement,
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Version ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :InferenceEngineSource ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :InferenceEngineRule ] .
:InferenceEngineRule a daml:ObjectProperty;
rdfs:domain :InferenceEngine;
rdfs:range :InferenceRule .
:InferenceEngineSource a daml:ObjectProperty;
rdfs:domain :InferenceEngine;
rdfs:range :Source .
:InferenceRule a daml:Class;
rdfs:subClassOf :AbstractInferenceRule,
[
a daml:Restriction;
daml:onProperty :Premises ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Conclusion ],
[
a daml:Restriction;
daml:onProperty :SideCondition ] .
:InferenceStep a daml:Class;
rdfs:subClassOf [
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :hasAntecedent ],
[
a daml:Restriction;
daml:onProperty :hasVariableMapping ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :hasInferenceEngine ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :hasRule ] .
:KIF a daml:Class;
rdfs:subClassOf [
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty <Statement> ] .
:Language a daml:Class;
rdfs:subClassOf :RegistryElement,
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :LanguageSource ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :hasLanguageAxiomSet ] .
:LanguageAxiomSet a daml:Class;
rdfs:subClassOf :RegistryElement,
[
a daml:Restriction;
daml:onProperty :LanguageAxiomSetSource ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :hasAxiom ] .
:LanguageAxiomSetSource a daml:ObjectProperty;
rdfs:domain :LanguageAxiomSet;
rdfs:range :Source .
:LanguageSource a daml:ObjectProperty;
rdfs:domain :Language;
rdfs:range :Source .
:LastSubmissionDate a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range <http://www.w3.org/2000/10/XMLSchema#date> .
:Name a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:Ontology a daml:Class;
rdfs:subClassOf :RegistryElement,
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :OntologySource ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :EnglishDescription ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Version ] .
:OntologySource a daml:ObjectProperty;
rdfs:domain :Ontology;
rdfs:range :Source .
:OptimizationParam a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:Organization a daml:Class;
rdfs:subClassOf :RegistryElement .
:Premises a daml:ObjectProperty;
rdfs:domain :InferenceRule;
rdfs:range :KIF .
:QualifyingOrganization a daml:ObjectProperty;
rdfs:domain :Source;
rdfs:range :Organization .
:RegistryElement a daml:Class;
rdfs:subClassOf [
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Name ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :URL ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Submitter ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :FirstSubmissionDate ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :LastSubmissionDate ] .
:RuleSource a daml:ObjectProperty;
rdfs:domain :AbstractInferenceRule;
rdfs:range :Source .
:SideCondition a daml:ObjectProperty;
rdfs:domain :InferenceRule;
rdfs:range :KIF .
:Source a daml:Class;
rdfs:subClassOf :RegistryElement,
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :Author ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Date ],
[
a daml:Restriction;
daml:minCardinality "\n 1\n ";
daml:onProperty :QualifyingOrganization ] .
:Statement a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:Submitter a daml:ObjectProperty;
rdfs:domain :RegistryElement;
rdfs:range :Source .
:TacticOfAxiom a daml:ObjectProperty;
rdfs:domain :AbstractInferenceRule;
rdfs:range :Axiom .
:Term a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:URL a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:Variable a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:VariableMapping a daml:Class;
rdfs:subClassOf [
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Term ],
[
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :Variable ] .
:Version a daml:DatatypeProperty,
daml:UniqueProperty;
rdfs:range rdfs:Literal .
:WFF a daml:Class;
rdfs:subClassOf [
a daml:Restriction;
daml:cardinality "\n 1\n ";
daml:onProperty :WFFContent ],
[
a daml:Restriction;
daml:onProperty :isConsequentOf ],
[
a daml:Restriction;
daml:onProperty :WFFOntology ] .
:WFFContent a daml:ObjectProperty;
rdfs:domain :WFF;
rdfs:range :KIF .
:WFFOntology a daml:ObjectProperty;
rdfs:domain :WFF;
rdfs:range :Ontology .
:hasAntecedent a daml:ObjectProperty;
daml:range :WFF;
rdfs:domain :InferenceStep .
:hasAxiom a daml:ObjectProperty;
rdfs:domain :LanguageAxiomSet;
rdfs:range :Axiom .
:hasInferenceEngine a daml:ObjectProperty;
rdfs:domain :InferenceStep;
rdfs:range :InferenceEngine .
:hasLanguageAxiomSet a daml:ObjectProperty;
rdfs:domain :Language;
rdfs:range :LanguageAxiomSet .
:hasRule a daml:ObjectProperty;
rdfs:domain :InferenceStep;
rdfs:range :AbstractInferenceRule .
:hasVariableMapping a daml:ObjectProperty;
rdfs:domain :InferenceStep;
rdfs:toClass :VariableMapping .
:isConsequentOf a daml:ObjectProperty;
rdfs:domain :WFF;
rdfs:toClass :InferenceStep .
#ENDS
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 29 April 2003 07:49:20 UTC