/
omdoc.owl
36 lines (36 loc) · 2.4 KB
/
omdoc.owl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:odo="http://www.omdoc.org/ontology#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" >
<rdf:Description rdf:about="http://purl.org/dc/elements/1.1/creator">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AnnotationProperty"/>
</rdf:Description>
<rdf:Description rdf:about="http://www.omdoc.org/ontology#">
<dc:subject>Semantic Mathematical Markup</dc:subject>
<dc:contributor>Krzysztof Retel <retel@macs.hw.ac.uk></dc:contributor>
<dc:description>OMDoc document ontology in OWL-DL.
The homepage of this project can be found at http://mathweb.org/wiki/OMDoc/document_ontology.
Note: SWOOP and the WonderWeb OWL validator say it's OWL-DL, but Protégé says it's OWL-Full :-( Cf. the following quote from a paper about the Pellet reasoner: “Ensuring that an RDF/XML document meets all the restrictions is a relatively difficult task for authors, and many existing OWL documents are nominally OWL-Full, even though their authors intend for them to be OWL-DL.”</dc:description>
<dc:contributor>Normen Müller <n.mueller@jacobs-university.de></dc:contributor>
<owl:imports rdf:resource="file:///home/clange/svn/omdoc.org/branches/omdoc-1.2/owl/st.n3"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
<dc:creator>Christoph Lange <ch.lange@jacobs-university.de></dc:creator>
<owl:versionInfo>0.4.3</owl:versionInfo>
<owl:imports rdf:resource="file:///home/clange/svn/omdoc.org/branches/omdoc-1.2/owl/pf.n3"/>
<dc:title>OMDoc document ontology</dc:title>
</rdf:Description>
<rdf:Description rdf:about="http://purl.org/dc/elements/1.1/description">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AnnotationProperty"/>
</rdf:Description>
<rdf:Description rdf:about="http://purl.org/dc/elements/1.1/subject">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AnnotationProperty"/>
</rdf:Description>
<rdf:Description rdf:about="http://purl.org/dc/elements/1.1/contributor">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AnnotationProperty"/>
</rdf:Description>
<rdf:Description rdf:about="http://purl.org/dc/elements/1.1/title">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AnnotationProperty"/>
</rdf:Description>
</rdf:RDF>