# Base: http://a.com/ontology#
@prefix bib:     <http://www.holygoat.co.uk/owl/2004/06/bib#> .
@prefix wot:     <http://xmlns.com/wot/0.1/> .
@prefix dc:      <http://purl.org/dc/elements/1.1/> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix vs:      <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix :        <http://www.holygoat.co.uk/owl/2004/06/bib#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

<bib:Organisation>
      a       owl:Class .

<bib:reportNumber>
      a       owl:DatatypeProperty ;
      rdfs:comment """The number assigned to a technical report. Multiple values are permitted for versioning, cross-school publication, etc.
"""@en ;
      rdfs:domain <bib:TechnicalReport> ;
      rdfs:range <http://www.w3.org/2001/XMLSchema#string> .

<bib:publishedBy>
      a       owl:ObjectProperty ;
      rdfs:domain
              [ a       owl:Class ;
                owl:unionOf (<bib:Publication> <bib:BibliographicItem>)
              ] ;
      rdfs:range <bib:Publisher> ;
      owl:inverseOf <bib:published> .

<bib:Author>
      a       owl:Class ;
      rdfs:subClassOf foaf:Person .

<bib:editor>
      a       owl:ObjectProperty ;
      rdfs:comment "An editor for this work."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain bib:BibliographicItem ;
      rdfs:range bib:Editor ;
      owl:inverseOf <bib:edited> .

<bib:inCollection>
      a       owl:ObjectProperty ;
      rdfs:range <bib:Collection> ;
      rdfs:subPropertyOf <bib:compositionPublication> .

<bib:published>
      a       owl:ObjectProperty ;
      rdfs:domain
              [ a       owl:Class ;
                owl:unionOf (<bib:Publisher>)
              ] ;
      rdfs:range <bib:BibliographicItem> ;
      owl:inverseOf <bib:publishedBy> .

<bib:UnpublishedWork>
      a       owl:Class ;
      owl:disjointWith <bib:PublishedWork> .

<bib:Website>
      a       owl:Class ;
      rdfs:comment "A referenced Web site."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subClassOf <bib:BibliographicItem> .

<bib:JournalPaper>
      a       owl:Class ;
      rdfs:subClassOf <bib:Paper> .

<bib:JournalIssue>
      a       owl:Class ;
      rdfs:comment "An issue of a journal."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subClassOf <bib:BibliographicCollection> .

<http://www.holygoat.co.uk/owl/2004/06/bib>
      a       owl:Ontology ;
      rdfs:comment "An ontology for the bibliographic domain."@en ;
      owl:imports foaf: .

<bib:edited>
      a       owl:ObjectProperty ;
      rdfs:comment "A work edited by this individual."^^<http://www.w3.org/2001/XMLSchema#string> ;
      owl:inverseOf <bib:editor> .

<bib:issueOfJournal>
      a       owl:ObjectProperty , owl:FunctionalProperty ;
      rdfs:comment "The journal for which this is an issue."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain <bib:JournalIssue> ;
      rdfs:range <bib:Journal> .

<bib:itemPublished>
      a       owl:ObjectProperty ;
      rdfs:comment "The item published in a certain instance of publication."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:range owl:Thing ;
      owl:inverseOf <bib:publication> .

<bib:Collection>
      a       owl:Class ;
      rdfs:comment "A collection of papers or other items."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subClassOf <bib:BibliographicCollection> .

<bib:PublishedWork>
      a       owl:Class ;
      rdfs:comment "A published item has either been published, or appeared in some collection (all of which are published)."^^<http://www.w3.org/2001/XMLSchema#string> ;
      owl:disjointWith <bib:UnpublishedWork> .

<bib:compositionPublication>
      a       owl:ObjectProperty ;
      rdfs:comment "A relation relating an item to a container item."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain <bib:BibliographicItem> ;
      rdfs:range <bib:BibliographicCollection> .

<bib:BibliographicCollection>
      a       owl:Class ;
      rdfs:comment "Items which contain other bibliographic items."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subClassOf <bib:BibliographicItem> .

<bib:Paper>
      a       owl:Class ;
      rdfs:subClassOf <bib:BibliographicItem> .

<bib:inSeries>
      a       owl:ObjectProperty ;
      rdfs:comment "The conference series of which this is one."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain <bib:Conference> ;
      rdfs:range <bib:ConferenceSeries> .

<bib:proceedings>
      a       owl:ObjectProperty ;
      rdfs:comment "The proceedings for this conference."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain <bib:Conference> ;
      rdfs:range <bib:ProceedingsVolume> ;
      owl:inverseOf <bib:proceedingsOfConference> .

<bib:Institution>
      a       owl:Class ;
      rdfs:subClassOf <bib:Organisation> .

<bib:authored>
      a       owl:ObjectProperty ;
      rdfs:comment "A work authored by this individual."^^<http://www.w3.org/2001/XMLSchema#string> ;
      owl:inverseOf <bib:author> .

<bib:publication>
      a       owl:ObjectProperty ;
      rdfs:comment "The reified instance of publication."^^<http://www.w3.org/2001/XMLSchema#string> ;
      owl:inverseOf <bib:itemPublished> .

<bib:Book>
      a       owl:Class ;
      rdfs:subClassOf <bib:BibliographicItem> .

<bib:abbreviation>
      a       owl:DatatypeProperty ;
      rdfs:comment "Some conferences are abbreviated; this is the appropriate field."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain <bib:Conference> ;
      rdfs:range <http://www.w3.org/2001/XMLSchema#string> .

<bib:ConferencePaper>
      a       owl:Class ;
      rdfs:subClassOf <bib:Paper> .

<bib:BibliographicItem>
      a       owl:Class ;
      rdfs:comment "Things that can be cited."^^<http://www.w3.org/2001/XMLSchema#string> ;
      owl:Restriction
              [ a       owl:onProperty
              ] .

<bib:bibTeXString>
      a       owl:FunctionalProperty , owl:DatatypeProperty ;
      rdfs:comment "The string to use for export to BibTeX."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:range <http://www.w3.org/2001/XMLSchema#string> .

<bib:seeAlsoPDF>
      rdfs:comment "Points to a PDF version of the resource."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subPropertyOf rdfs:seeAlso .

<bib:seeAlsoPostscript>
      rdfs:comment "Points to a Postscript version of the resource."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subPropertyOf rdfs:seeAlso .

<bib:seeAlsoCitation>
      rdfs:comment "Points to a page containing citation information, such as CiteSeer."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subPropertyOf rdfs:seeAlso .

<bib:Editor>
      a       owl:Class ;
      rdfs:subClassOf foaf:Person .

<bib:proceedingsOfConference>
      a       owl:ObjectProperty ;
      rdfs:comment "The conference for which these are the proceedings."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain <bib:ProceedingsVolume> ;
      rdfs:range <bib:Conference> ;
      owl:inverseOf <bib:proceedings> .

<bib:conferenceNumber>
      a       owl:FunctionalProperty , owl:DatatypeProperty ;
      rdfs:comment "The number of the conference. This is a string, to allow for non-digit representations."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:domain <bib:Conference> ;
      rdfs:range <http://www.w3.org/2001/XMLSchema#string> .

<bib:Journal>
      a       owl:Class .

<bib:inProceedings>
      a       owl:ObjectProperty ;
      rdfs:range <bib:ProceedingsVolume> ;
      rdfs:subPropertyOf <bib:compositionPublication> .

<bib:Conference>
      a       owl:Class .

<bib:Publisher>
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:Class ;
                owl:intersectionOf (<bib:Organisation> [ a       owl:Restriction ;
                            owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#int> ;
                            owl:onProperty <bib:published>
                          ])
              ] .

<bib:Publication>
      a       owl:Class ;
      rdfs:comment "An instance of the publishing of some item."^^<http://www.w3.org/2001/XMLSchema#string> .

<bib:ConferenceSeries>
      a       owl:Class .

<bib:TechnicalReport>
      a       owl:Class ;
      rdfs:comment "Technical reports are items published by an institution. They must have a number."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subClassOf <bib:BibliographicItem> ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom <bib:Institution> ;
                owl:onProperty <bib:publishedBy>
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#int> ;
                owl:onProperty <bib:reportNumber>
              ] .

<bib:JournalArticle>
      a       owl:ObjectProperty ;
      rdfs:range <bib:JournalIssue> ;
      rdfs:subPropertyOf <bib:compositionPublication> .

<bib:ProceedingsVolume>
      a       owl:Class ;
      rdfs:comment "The proceedings of a particular conference."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:subClassOf <bib:BibliographicCollection> , <bib:Book> .

<bib:AuthorSequence>
      rdfs:comment "A sequence of which each element is an author."^^<http://www.w3.org/2001/XMLSchema#string> ;
      a       owl:Class ;
      rdfs:subClassOf rdf:Seq ;
      rdfs:subClassOf [ a owl:Restriction ;
			owl:onProperty rdfs:ContainerMembershipProperty ;
			owl:allValuesFrom bib:Author 
		      ] .

<bib:author>
      a       owl:ObjectProperty ;
      rdfs:comment "The author of a document."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:range bib:Author ;
      owl:inverseOf <bib:authored> .

<bib:authorList>
      a       owl:ObjectProperty ;
      rdfs:comment "The authors of a document in citation order."^^<http://www.w3.org/2001/XMLSchema#string> ;
      rdfs:range bib:AuthorSequence .