-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathbfo-2020.html
73 lines (71 loc) · 4.84 KB
/
bfo-2020.html
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
<!DOCTYPE html>
<html>
<head>
<title>Basic Formal Ontology (BFO) | Home</title>
<link rel="stylesheet" href="stylesheet.css" type="text/css"/>
<body>
<table align="center">
<tr>
<td id="header-left" nowrap="true"><a href="."><span id="logo-left">BFO</span><span id="logo-right">Basic Formal Ontology</span></h1></a></td>
<td id="header-right"><!--<a href="/"><img src="gfx/ifomis-small.gif"/></a>--></td>
</tr>
<tr>
<td id="menu-left" nowrap="true"><a href=".">Home</a><a href="https://github.com/bfo-ontology/bfo-2020">GitHub</a><a href="https://mitpress.mit.edu/building-ontologies">Guidebook</a><a href="publications.html">Publications</a><a href="fol.html">FOL</a><a href="users.html">Users</a><!--a href="/">IFOMIS</a-->
<a href="https://www.youtube.com/user/hxo3nql/playlists?view=50&sort=dd&shelf_id=2">Tutorials</a>
<a href="https://buffalo.box.com/s/lk3ykbd6m8edcx19thi1stdd9c2njjec">Workshops</a>
<td id="menu-right" nowrap="true">
</td>
</tr>
<tr>
<td id="content" colspan="2">
<h2>Basic Formal Ontology (BFO) 2020</h2>
<p>
<p>Created by Buffalo Developers Group on November 9, 2020
<p>
This describes <a href="https://github.com/BFO-ontology/BFO-2020"> the repository</a> of BFO 2020 supporting artifacts as
specified in <a href="https://standards.iso.org/ittf/PubliclyAvailableStandards/c074572_ISO_IEC_21838-2_2021(E).zip" target="_blank">ISO/IEC 21838-2:2021</a>.
<ul>
<!-- <li>A
natural language specification of BFO 2020 <a href="https://github.com/BFO-ontology/BFO-2020/blob/master/21838-2/BFO-2020.pdf"
target="_blank">Natural Language Specification</a></li> -->
<li>A
list of BFO 2020 terms and associated metadata ordered by the section
number of the ISO 21838-2020 document <a href="https://github.com/BFO-ontology/BFO-2020/raw/master/src/owl/profiles/temporal%20extensions/temporalized%20relations/documentation/bfo-2020-terms.xlsx"
target="_blank">BFO 2020 Term List</a></li>
<li>A
list of the internationalized resource identifiers (IRIs) of BFO 2020
terms matched to their natural language labels <a href="https://github.com/BFO-ontology/BFO-2020/raw/master/src/owl/profiles/temporal%20extensions/temporalized%20relations/documentation/bfo-2020-iris.xlsx"
target="_blank">BFO 2020 IRIs</a></li>
<li>A
list of BFO 2020 relations, their inverses and, when applicable, their
temporalized versions <a href="https://github.com/BFO-ontology/BFO-2020/raw/master/src/owl/profiles/temporal%20extensions/temporalized%20relations/documentation/bfo-2020-relations-table.xlsx"
target="_blank">BFO 2020 Relations</a></li>
</ul></p>
<p>The
formalization of BFO 2020 is sub-divided into modules of axioms.
<p>Serializations
of these axioms by module are provided in three formats: <a href="https://github.com/BFO-ontology/BFO-2020/tree/master/src/common-logic"
target="_blank">Common Logic</a>, <a href="https://github.com/BFO-ontology/BFO-2020/tree/master/documentation/axiomatization-pds"
target="_blank">First-order Logic</a> and <a href="https://github.com/BFO-ontology/BFO-2020/tree/master/src/prover9"
target="_blank">Prover 9</a>
<p>In addition files
for BFO 2020 in OWL are available in both Functional-style <a href="https://raw.githubusercontent.com/BFO-ontology/BFO-2020/master/src/owl/profiles/temporal%20extensions/temporalized%20relations/owl/bfo-temporalized-relations.ofn"
target="_blank">bfo-2020.ofn</a> and RDF/XML <a href="https://raw.githubusercontent.com/BFO-ontology/BFO-2020/master/src/owl/profiles/temporal%20extensions/temporalized%20relations/owl/bfo-temporalized-relations.owl"
target="_blank">bfo-2020.owl</a>. An RDF/XML format of BFO 2020
without the temporalized object properties which (corresponding
to ISO/IEC:21838-2 A.1.2) is available here <a href="https://raw.githubusercontent.com/BFO-ontology/BFO-2020/master/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.owl">bfo-2020-without-some-all-times.owl</a>
.
<p>The
model used to prove the consistency of the Common Logic formalization
of BFO 2020 is provided in
<ul>
<li><a href="https://raw.githubusercontent.com/BFO-ontology/BFO-2020/master/src/prover9/model/model.cl"
target="_blank">Common Logic Interchange format</a>
<!-- <li> <a href="https://github.com/BFO-ontology/BFO-2020/blob/master/21838-2/model/model.prover9"
target="_blank">Prover 9 format</a>-->
<li><a href="https://github.com/BFO-ontology/BFO-2020/raw/master/src/prover9/model/clausetester-model.in.gz"
target="_blank">Clausetester format</a>.
</ul>
</tr></table>
</body>
</html>