(define (domain cmu_yale_bib_merging)
   (:extends (uri "http://www.daml.ri.cmu.edu/ont/homework/atlas-publications.daml"
                :prefix cmu_bib)
             (uri "http://cs-www.cs.yale.edu/homes/dvm/daml/ontologies/daml/yale_bib-ont.daml"
	      :prefix yale_bib))
   (:requirement :universal-preconditions :existential-preconditions)

   (:types  Publication String - Obj
            Article Book TechReport Thesis Journal Issue - Publication
            Proceedings Collection - Book MastersThesis PhdThesis - Thesis
	    @yale_bib:Article - Article
	    @yale_bib:Inproceedings - Article
	    @yale_bib:Incollection - Article)

   (:constants McDermott2002 McDermott&Dou2002 - Article)

   (:predicates
                (issue s - Issue j - Journal)
		(contains p - Publication a - Article)
		(journalname j - Journal jn - String)
		(author p - Publication n - String)
		(booktitle a - Article tl - String)
		(year p - Publication y - String)
		(title p - Publication tl - String)
		(journal a - Article jn - String)
		(publisher p - Publication pbr - String)
		(institution p - Publication ist - String)
		(school th - Thesis sl - String)
		(editor p - Publication edr - String)
		(note p - Publication nt - String)
		(number p - Publication nr - String)
		(pages a - Article pgs - String)
		(volume p - Publication vol - String)
   )

   (:facts
     (author McDermott2002 "Drew McDermott")
     (author McDermott&Dou2002 "Drew McDermott and Dejing Dou")
    )


   (:axioms

    (T-> @cmu_bib:Publication Publication)
    (T-> @yale_bib:Publication Publication)



    (T-> @cmu_bib:Article Article)

    (forall (a - Article)
            (if (is @yale_bib:Article a)
	        (and (issue (@skolem:aIssue a) - Issue
		            (@skolem:aJournal a) - Journal)
		     (contains (@skolem:aIssue a) - Issue a))))




    (forall (a - Article jn - String)
            (if (journal a jn)
	  	 (and (issue (@skolem:aIssue a) - Issue
		             (@skolem:aJournal a) - Journal)
		      (contains (@skolem:aIssue a) - Issue a)
		      (journalname (@skolem:aJournal a) - Journal jn))))


    (T-> @cmu_bib:Book Book)
    (T-> @yale_bib:Book Book)

    (T-> @cmu_bib:TechReport TechReport)
    (T-> @yale_bib:Techreport TechReport)

    (T-> @cmu_bib:Thesis Thesis)
    (T-> @cmu_bib:MastersThesis MastersThesis)
    (T-> @cmu_bib:PhdThesis PhdThesis)

    (T-> @cmu_bib:Collection Collection)


      (forall (b - Book t - String)
           (iff (title b t)
	        (@cmu_bib:booktitle b t)))


     (forall (a - Article c - Collection t - String)
           (if (and (contains c a) (title c t))
	        (@yale_bib:booktitle a t)))

     (forall (c - Collection t - String)
           (iff (title c t)
	        (@cmu_bib:booktitle c t)))

     (forall (a - @yale_bib:Incollection t - String)
             (if  (@yale_bib:booktitle a t)
	          (and (contains (@skolem:aCollection a) - Collection a)
		       (title (@skolem:aCollection a) - Collection t))))

     (forall (a - Article c - Collection)
             (iff (contains c a) 
	          (@cmu_bib:inCollection a c)))

  (T-> @cmu_bib:Proceedings Proceedings)

   (forall (a - Article p - Proceedings  t - String)
           (if  (and (contains p a) (title p t))
	        (@yale_bib:booktitle a t)))


   (forall (p - Proceedings t - String)
           (iff (title p t)
	        (@cmu_bib:booktitle p t)))


   (forall (a - Article p - Proceedings)
           (iff (contains p a)
	        (@cmu_bib:inProceedings a p)))


   (forall (a - @yale_bib:Inproceedings t - String)
           (if  (@yale_bib:booktitle a t)
	   	(and (contains (@skolem:aProceedings a) - Proceedings a)
		     (title (@skolem:aProceedings a) - Proceedings t))))


   (T-> @yale_bib:Literal String)
   (T-> @cmu_bib:String String)

   (forall (x - String p - Publication)
           (iff (@yale_bib:author p x) (author p x)))

   (forall (x - String p - Publication)
          (iff (@cmu_bib:author p x)
	       (author p x)))

   (forall (a - Article tl - String)
           (iff (@yale_bib:booktitle a tl)
	        (booktitle a tl)))

   (forall (p - Publication y - String)
           (iff (@yale_bib:year p y) (year p y)))

   (T-> @cmu_bib:Year @pddlonto:Number)

   (forall (p - Publication yn - @cmu_bib:Year)
           (if (@cmu_bib:year p yn)
               (year p (@built_in:NumbertoString yn))))

   (forall (p - Publication y - String)
           (if (year p y)
	       (@cmu_bib:year p (@built_in:StringtoNumber y))))



   (forall (p - Publication ts - String)
           (iff (@cmu_bib:title p ts) (title p ts)))


 (forall (p - Publication ts - String)
        (iff (@yale_bib:title p ts) (title p ts)))


 (forall (a - Article jl - String)
        (iff (@cmu_bib:journal a jl) (journal a jl)))

 (forall (a - Article jl - String)
        (iff (@yale_bib:journal a jl) (journal a jl)))


 (forall (b - Book pbr - String)
        (iff (@cmu_bib:publisher b pbr) (publisher b pbr)))

 (forall (p - Publication pbr - String)
        (iff (@yale_bib:publisher p pbr) (publisher p pbr)))


 (forall (p - Publication ins - String)
        (iff (@cmu_bib:institution p ins) (institution p ins)))

 (forall (p - Publication ins - String)
         (iff (@yale_bib:institution p ins) (institution p ins)))




 (forall (th - Thesis sl - String)
          (iff (@cmu_bib:school th sl) (school th sl)))



 (forall (p - Pubication edr - String)
          (iff (@yale_bib:editor p edr) (editor p edr)))


 (forall (p - Pubication nt - String)
          (iff (@yale_bib:note p nt) (note p nt)))



 (forall (p - Pubication nr - String)
          (iff (@yale_bib:number p nr) (number p nr)))


  (forall (a - Article pgs - String)
          (iff (@yale_bib:pages a pgs) (pages a pgs)))

  (forall (p - Pubication vol - String)
          (iff (@yale_bib:volume p vol) (volume p vol)))

 )
)