basic examples

Still the bibliography ontology, plus instances written in this ontology.

<rdf:RDF
  xmlns:rdf  = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
  xmlns:daml = "http://www.daml.org/2000/10/daml-ont#"
  xmlns      = "http://cs-www.cs.yale.edu/homes/pq5/research/yale_bib#"
>

<daml:Ontology rdf:about="">
   <daml:versionInfo>Version 0.1 2000.12.08</daml:versionInfo>
   <daml:imports rdf:resource="http://www.daml.org/2000/10/daml-ont"/>
   <rdfs:comment>Yale DAML Ontology</rdfs:comment>
</daml:Ontology>

<daml:Class rdf:ID="Literal">
   <equivalentTo rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
</daml:Class>

<daml:Class rdf:ID="Publication">
  <rdfs:comment>
     All of the terms here are stolen from BibTeX.
     Most of the properties in this ontology have Literal values.
     That's probably bogus, but then so is the whole way literals work.
  </rdfs:comment>   
</daml:Class>

<daml:Class rdf:ID="Article">
   <daml:subClassOf rdf:resource="#Publication"/>
</daml:Class>

<daml:Class rdf:ID="Book">
   <daml:subClassOf rdf:resource="#Publication"/>
</daml:Class>

<daml:Class rdf:ID="Incollection">
   <daml:subClassOf rdf:resource="#Publication"/>
</daml:Class>

<daml:Class rdf:ID="Inproceedings">
   <daml:subClassOf rdf:resource="#Publication"/>
</daml:Class>

<daml:Class rdf:ID="Techreport">
   <daml:subClassOf rdf:resource="#Publication"/>
</daml:Class>

<daml:ObjectProperty rdf:ID="author">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="booktitle">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="editor">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="institution">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="journal">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="note">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="number">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="pages">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="publisher">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="title">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="volume">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

<daml:ObjectProperty rdf:ID="year">
   <daml:domain rdf:resource="#Publication"/>
   <daml:range rdf:resource="#Literal"/>
</daml:ObjectProperty>

"McDermott77" is an instance of the Class "Article". ^{PDDL trans-object}Its statement values are mapped to facts-to-tranlate in PDDL's translate-problem.^{PDDL facts-to-translate}

<Article rdf:ID="McDermott77">
<author>Drew McDermott</author>
<year>1977</year>
<title>Flexibility and efficiency in a computer program             for designing circuits</title>
<journal>MIT AI Laboratory Report 402</journal>
</Article>

<Article rdf:ID="McDermott78a">
<author>Drew McDermott</author>
<year>1978</year>
<title>Planning and acting</title>
<journal>Cognitive Science </journal>
<volume>2</volume>
<number>2</number>
<pages>71--109</pages>
</Article>

<Article rdf:ID="McDermott78b">
<author>Drew McDermott</author>
<year>1978</year>
<title>Tarskian Semantics or, No Notation without          Denotation!</title>
<journal>Cognitive Science </journal>
<volume>2</volume>
<pages>277--282</pages>
<note>3</note>
</Article>

</rdf:RDF>

Translated PDDL version of the above DAML ontology

(define (domain yale_bib)

(:types
Article - Publication
;All of the terms here are stolen from BibTeX.
;Most of the properties in this ontology have Literal values.
;That's probably bogus, but then so is the whole way literals work.

Inproceedings - Publication
Book - Publication
Literal - object
Techreport - Publication
Incollection - Publication
)

(:predicates
(institution ?pu1 - Publication ?li2 - Literal)
(publisher ?pu1 - Publication ?li2 - Literal)
(year ?pu1 - Publication ?li2 - Literal)
(editor ?pu1 - Publication ?li2 - Literal)
(title ?pu1 - Publication ?li2 - Literal)
(booktitle ?pu1 - Publication ?li2 - Literal)
(journal ?pu1 - Publication ?li2 - Literal)
(volume ?pu1 - Publication ?li2 - Literal)
(author ?pu1 - Publication ?li2 - Literal)
(pages ?pu1 - Publication ?li2 - Literal)
(number ?pu1 - Publication ?li2 - Literal)
(note ?pu1 - Publication ?li2 - Literal)
)
)

(define (translation-problem yale_bib-transprob)

(:domain
(uri "http://cs-www.cs.yale.edu/homes/pq5/research/yale_bib" :prefix yale_bib)
)

(:target-domain
(uri "http://www.daml.ri.cmu.edu/domains/atlas-publications" :prefix cmu_bib)
)

(:objects
McDermott77 - Article ^{daml:Instance}
McDermott78a - Article
McDermott78b - Article
)

(:facts-to-translate
(author McDermott77 "Drew McDermott") daml:InstanceStatement
(year McDermott77 "1977")
(title McDermott77 "Flexibility and efficiency in a computer program for designing circuits")
(journal McDermott77 "MIT AI Laboratory Report 402")
(author McDermott78a "Drew McDermott")
(year McDermott78a "1978")
(title McDermott78a "Planning and acting")
(journal McDermott78a "Cognitive Science")
(volume McDermott78a "2")
(number McDermott78a "2")
(pages McDermott78a "71--109")
(author McDermott78b "Drew McDermott")
(year McDermott78b "1978")
(title McDermott78b "Tarskian Semantics or, No Notation without Denotation!")
(journal McDermott78b "Cognitive Science")
(volume McDermott78b "2")
(pages McDermott78b "277--282")
(note McDermott78b "3")
)
)