(define (domain yale_bib) 
	(:types 
		Literal - String
		Publication - object
			;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.

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