# Literatur ontology
#
#    Robert Barta, Bond University
#    Copyright 2002
#
# Tue Sep 10 20:23:49 EST 2002
#	- first version, more a draft
# Sun Sep 15 11:26:53 EST 2002
#	- removed (document) isa
#	- added more constraints
#	- added all BibTeX classes (or equivalent)

#-- document classes --------------------------------

document

standard-document # isa(specification)

specification # isa(document)

article # isa (document)

book #isa (document)

essay #isa (document)

tutorial #isa (document)

online-article #isa (document)

white-paper #isa (document)

journal-paper #isa paper

conference-paper #isa paper

report #isa document

internet-draft # isa (draft-paper)

draft-paper # isa (document)

#-- auxiliary topics ---------------------------------

is-author-of

is-published-in

is-edited-by

cite_code # isa (code)

abstract

comment

opus

publisher

editor

author

creator

time

#-- topics which are actually hidden assocs (have to be transformed) -------------

affiliation

country-publication

journal-paper (publication)

conference-paper (publication)

publication (document)

pages

#-- leftovers (have to be resolved) ------------------

CD

SO

#-- languages -----------

en (language) reifies .....
bn: english

de (language) reifies .....
de: german

#-- constraints -------------------------------------

# all documents MUST have a cite_code

every topic $t  [ * (document)+ ]                # directly on indirectly being a document
      => exists [ $t/@id (*)                     # we are not interesting in the type
                  oc (cite-code): /^urn/ ]       # should match an urn

# cite_code is unique within TM

     every topic $t1 [ oc (cite-code): $code ]
     =>
not exists topic $t2 [ oc (cite-code): $code ]   # $t1 and $t2 are different by the language definition
                                                 # $code is the same, so this MUST not occur

# all documents MAY have a download URL

every topic $t [ * (document)* ]
  => suggested exists topic [ $t/@id (*)
                              oc (download): m/is_uri()/e ]

# if online-article then magazine or organisation has to be defined

# if standard-document then organisation has to be defined
# if specification then organisation has to be defined

# if white-paper then organisation

# if conference-paper then conference