cites(citingPaper:PK,citedPaper:PK) :- Article(X1),Doc.Title(X1,citingPaper),Article(X2), Doc.Title(X2,citedPaper),cites(X1,X2)::identifier(X1,citingPaper), identifier(X2,citedPaper). author(aname:PK) :- Author(X1),Agent.name(X1,aname)::identifier(X1,aname). editor(ename:PK) :- Person(X1),Agent.name(X1,ename)::identifier(X1,ename). school(sname:PK) :- University(X1),Agent.name(X1,sname)::identifier(X1,sname). publisher(pname:PK, href) :- Publisher(X1),Agent.name(X1,pname)::identifier(X1,pname). article(title:PK, pages, cdrom, month, year, volume, journal, number, url) :- Article(X1),Doc.Number-Of-Pages(X1,pages),Doc.Title(X1,title), Multimedia-Document(X2),hasArticles(X2,X1),Doc.Title(X2,cdrom), Journal(X3),hasArticles(X3,X1),volume(X3,volume), number(X3,number),Doc.Title(X3,journal),Month-Name(X4), Calendar-Date(X5),Timepoint.Month(X5,X4),Doc.Publication-Date(X1,X5), month.name(X4,month),Year-Number(X6),Timepoint.Year(X5,X6), year.number(X6,year)::identifier(X1,title),identifier(X2,cdrom), identifier(X3,journal),identifier(X4,month),identifier(X6,year). article_author(title:PK, aname:PK) :- Author(X1),Article(X2),Doc.Author(X2,X1), Agent.name(X1,aname),Doc.Title(X2,title)::identifier(X1,aname), identifier(X2,title). proceedings(title:PK, year, isbn, url) :- Proceedings(X1),Doc.Title(X1,title),Year-Number(X2), Calendar-Date(X3),Timepoint.Year(X3,X2),Doc.Publication-Date(X1,X3), year.number(X2,year)::identifier(X1,title),identifier(X2,year). proceedings_editor(title:PK, ename:PK) :- Proceedings(X1),Person(X2),Doc.Editor(X1,X2), Doc.Title(X1,title),Agent.name(X2,ename)::identifier(X1,title), identifier(X2,ename). inproceedings(title:PK, pages, booktitle, url, cdrom, month, year) :- Article(X1),Doc.Title(X1,title),Doc.Number-Of-Pages(X1,pages), Multimedia-Document(X2),hasArticles(X2,X1),Doc.Title(X2,cdrom), Year-Number(X3),Calendar-Date(X4),Timepoint.Year(X4,X3), Doc.Publication-Date(X1,X4),year.number(X3,year),Proceedings(X5), hasArticles(X5,X1),Doc.Title(X5,booktitle),Month-Name(X6), Timepoint.Month(X4,X6),month.name(X6,month)::identifier(X1,title), identifier(X2,cdrom),identifier(X3,year),identifier(X5,booktitle), identifier(X6,month). inproceedings_author(title:PK, aname:PK) :- Article(X1),Author(X2),Doc.Author(X1,X2), Doc.Title(X1,title),Agent.name(X2,aname)::identifier(X1,title), identifier(X2,aname). book(title:PK, publisher, year, isbn, cdrom, cite, url) :- Book(X1),Doc.Title(X1,title),Book.ISBN(X1,isbn), Year-Number(X2),Calendar-Date(X3),Timepoint.Year(X3,X2), Doc.Publication-Date(X1,X3),year.number(X2,year),Publisher(X4), Doc.Publisher(X1,X4),Agent.name(X4,publisher)::identifier(X1,title), identifier(X2,year),identifier(X4,publisher). book_author(title:PK, aname:PK) :- Book(X1),Author(X2),Doc.Author(X1,X2), Doc.Title(X1,title),Agent.name(X2,aname)::identifier(X1,title), identifier(X2,aname). book_editor(title:PK, ename:PK) :- Person(X1),Book(X2),Doc.Editor(X2,X1), Agent.name(X1,ename),Doc.Title(X2,title)::identifier(X1,ename), identifier(X2,title). masterthesis(title:PK, year, school, aname) :- Masters-Thesis(X1),Doc.Title(X1,title),University(X2), Thesis.University(X1,X2),Agent.name(X2,school),Year-Number(X3), Calendar-Date(X4),Timepoint.Year(X4,X3),Doc.Publication-Date(X1,X4), year.number(X3,year),Author(X5),Doc.Author(X1,X5), Agent.name(X5,aname)::identifier(X1,title),identifier(X2,school), identifier(X3,year),identifier(X5,aname). phdthesis(title:PK, aname, year, series, number, month, school, publisher, isbn) :- Doctoral-Thesis(X1),Doc.Title(X1,title),Doc.Series-Title(X1,series), Author(X2),Doc.Author(X1,X2),Agent.name(X2,aname), Year-Number(X3),Calendar-Date(X4),Timepoint.Year(X4,X3), Doc.Publication-Date(X1,X4),year.number(X3,year),Publisher(X5), Doc.Publisher(X1,X5),Agent.name(X5,publisher),Month-Name(X6), Timepoint.Month(X4,X6),month.name(X6,month), University(X7),Thesis.University(X1,X7),Agent.name(X7,school) ::identifier(X1,title),identifier(X2,aname),identifier(X3,year), identifier(X5,publisher),identifier(X6,month),identifier(X7,school). www(title:PK, year, url) :- Computer-Program(X1),Doc.Title(X1,title),Year-Number(X2), Calendar-Date(X3),Timepoint.Year(X3,X2),Doc.Publication-Date(X1,X3), year.number(X2,year)::identifier(X1,title),identifier(X2,year). month(mname:PK) :- Month-Name(X1),month.name(X1,mname)::identifier(X1,mname). year(yname:PK) :- Year-Number(X1),year.number(X1,yname)::identifier(X1,yname). article_inproceedings(title:PK, inproceedings) :- Article(X1),Doc.Title(X1,title),Proceedings(X2),Doc.Title(X2,inproceedings), inDoc(X1,X2)::identifier(X1,title),identifier(X2,inproceedings). proceedings_conference(title:PK,conference) :- Proceedings(X1),Doc.Title(X1,title),Conference(X2),Conf.Name(X2,conference), Doc.Conference(X1,X2)::identifier(X1,title),identifier(X2,conference). article_book(title:PK, aname:PK, book:PK) :- Author(X1),Article(X2),Doc.Author(X2,X1), Agent.name(X1,aname),Doc.Title(X2,title), Book(X3),Doc.Title(X3,book),Doc.Author(X3,X1)::identifier(X1,aname), identifier(X2,title),identifier(X3,book).