-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbiblioFC.bib
199 lines (172 loc) · 7.48 KB
/
biblioFC.bib
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/
%% Created for claudio at 2023-03-21 18:01:32 +0100
%% Saved with string encoding Unicode (UTF-8)
@article{otte2022bfo,
title={BFO: Basic formal ontology},
author={Otte, J Neil and Beverley, John and Ruttenberg, Alan},
journal={Applied ontology},
volume={17},
number={1},
pages={17--43},
year={2022},
publisher={IOS Press}
}
@article{Guarino-2017BfoDolce,
author = {Nicola Guarino},
journal = {Cosmos+Taxis},
number = {4},
title = {BFO and DOLCE: So Far, so close...},
volume = {4},
year = {2017}}
@article{Borgo-GK2022FOinAction,
author = {Borgo, Stefano and Galton, Antony and Kutz, Oliver and Borgo, Stefano and Galton, Antony and Kutz, Oliver},
journal = {Applied Ontology},
month = {jan},
number = {1},
pages = {1--16},
title = {Foundational Ontologies in Action},
volume = {17},
year = {2022}}
@article{gardner2005ontologies,
title={Ontologies and semantic data integration},
author={Gardner, Stephen P},
journal={Drug discovery today},
volume={10},
number={14},
pages={1001--1007},
year={2005},
publisher={Elsevier}
}
@book{Van-Benthem:1983ka,
address = {Dordrecht},
author = {Van Benthem, J.},
date-added = {2023-03-21 12:16:54 +0100},
date-modified = {2023-03-21 12:16:54 +0100},
keywords = {Mereologia, eventi},
publisher = {Kluwer},
title = {The Logic of Time},
year = {1983}}
@article{borgoDOLCEDescriptiveOntology2022,
author = {Borgo, Stefano and Ferrario, Roberta and Gangemi, Aldo and Guarino, Nicola and Masolo, Claudio and Porello, Daniele and Sanfilippo, Emilio M. and Vieu, Laure},
journal = {Applied Ontology},
month = mar,
number = {1},
pages = {45--69},
title = {{{DOLCE}}: {{A}} Descriptive Ontology for Linguistic and Cognitive Engineering},
volume = {17},
year = {2022}}
@article{guarinoOntologicalLevel1998,
author = {Guarino, Nicola},
journal = {Philosophy and the cognitive sciences},
month = {05},
title = {The Ontological Level},
year = {1998}}
@article{oukselSemanticInteroperability1999,
author = {Ouksel, Aris and Sheth, Amit},
journal = {SIGMOD Record},
month = {01},
pages = {5-12},
title = {Semantic Interoperability in Global Information Systems: A Brief Introduction to the Research Area and the Special Section.},
volume = {28},
year = {1999}}
@article{fernandezMethontology1997,
author = {Fern{\'a}ndez-L{\'o}pez, Mariano and Gomez-Perez, Asuncion and Juristo, Natalia},
journal = {Engineering Workshop on Ontological Engineering (AAAI97)},
month = {03},
title = {METHONTOLOGY: from ontological art towards ontological engineering},
year = {1997}}
@article{gomezNeon2009,
author = {Gomez-Perez, Asuncion and Su{\'a}rez-Figueroa, Mari Carmen},
month = {01},
title = {NeOn Methodology for Building Ontology Networks: a Scenario-based Methodology},
year = {2009}}
@inbook{Jarrar2009,
abstract = {This chapter presents a methodological framework for ontology engineering (called DOGMA), which is aimed to guide ontology builders towards building ontologies that are both highly reusable and usable, easier to build and to maintain. We survey the main foundational challenges in ontology engineering and analyse to what extent one can build an ontology independently of application requirements at hand. We discuss ontology reusability verses ontology usability and present the DOGMA approach, its philosophy and formalization, which prescribe that an ontology be built as separate domain axiomatization and application axiomatizations. While a domain axiomatization focuses on the characterization of the intended meaning (i.e. intended models) of a vocabulary at the domain level, application axiomatizations focus on the usability of this vocabulary according to certain application/usability perspectives and specify the legal models (a subset of the intended models) of the application(s)' interest. We show how specification languages (such as ORM, UML, EER, and OWL) can be effectively (re)used in ontology engineering.},
address = {Berlin, Heidelberg},
author = {Jarrar, Mustafa and Meersman, Robert},
booktitle = {Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web},
editor = {Dillon, Tharam S. and Chang, Elizabeth and Meersman, Robert and Sycara, Katia},
isbn = {978-3-540-89784-2},
pages = {7--34},
publisher = {Springer Berlin Heidelberg},
title = {Ontology Engineering -- The DOGMA Approach},
url = {https://doi.org/10.1007/978-3-540-89784-2_2},
year = {2009},
bdsk-url-1 = {https://doi.org/10.1007/978-3-540-89784-2_2}}
@report{OWL,
author = {{{W3C OWL Working Group}}},
organisation = {{W3C} {OWL} {Working} {Group}},
title = {OWL 2 Web Ontology Language Document Overview (Second Edition)},
url = {https://www.w3.org/TR/owl2-overview/},
bdsk-url-1 = {https://www.w3.org/TR/owl2-overview/}}
@book{Euzenat2013,
author = {J{\'{e}}r{\^{o}}me Euzenat and Pavel Shvaiko},
doi = {10.1007/978-3-642-38721-0},
publisher = {Springer Berlin Heidelberg},
title = {Ontology Matching},
url = {https://doi.org/10.1007/978-3-642-38721-0},
year = {2013},
bdsk-url-1 = {https://doi.org/10.1007/978-3-642-38721-0}}
@techreport{ISO21838,
address = {Geneva, CH},
author = {{ISO Central Secretary}},
institution = {International Organization for Standardization},
language = {en},
number = {ISO/IEC 21838-2:2021},
shorttitle = {{ISO}/{IEC} 21838-2:2021},
title = {Information technology --- Top-level ontologies (TLO) --- Part 2: Basic Formal Ontology},
type = {Standard},
year = {2021}}
@techreport{ISO24707,
address = {Geneva, CH},
author = {{ISO Central Secretary}},
institution = {International Organization for Standardization},
language = {en},
number = {ISO/IEC 24707:2007},
shorttitle = {{ISO}/{IEC} 24707:2007},
title = {Information technology --- Common Logic (CL): a framework for a family of logic-based languages},
type = {Standard},
year = {2007}}
@article{grenonBiodynamic2004,
author = {Grenon, Pierre and Smith, Barry and Goldberg, Louis},
doi = {10.3233/978-1-60750-945-5-20},
journal = {Studies in health technology and informatics},
month = {02},
pages = {20-38},
title = {Biodynamic Ontology: Applying BFO in the Biomedical Domain},
volume = {102},
year = {2004},
bdsk-url-1 = {https://doi.org/10.3233/978-1-60750-945-5-20}}
@article{Sut16,
author = {Sutcliffe, G.},
comment = {TPTPCite},
journal = {AI Magazine},
number = {2},
pages = {99-101},
title = {{The CADE ATP System Competition - CASC}},
volume = {37},
year = {2016}}
@inproceedings{EMMO,
author = {Goldbeck, Gerhard and Ghedini, Emanuele and Hashibon, Adham and Schmitz, Georg and Friis, Jesper},
conference = {NAFEMS World Congress 2019},
month = {06},
place = {Quebec, Canada},
title = {A Reference Language and Ontology for Materials Modelling and Interoperability},
year = {2019}}
@techreport{D18,
author = {Masolo, C. and Borgo, S. and Gangemi, A. and Guarino, N. and Oltramari, A.},
institution = {ISTC-CNR},
title = {Wonder{W}eb {D}eliverable {D}18: {O}ntology {L}ibrary},
year = {2003}}
@misc{barryBasicFormalOntology2015,
author = {Smith, Barry and Almeida, Mauricio and Bona, Jonathan and Brochhausen, Mathias},
month = jun,
title = {Basic {{Formal Ontology}} 2.0},
year = {2015}}
@techreport{D24,
author = {Masolo, C. and Compagno, F. and Borgo, S. and Sanfilippo, E. M. and Ghedini, E. and Zaccarini, F. A. and Biccheri, L. and Guarino, N.},
institution = {CNR},
title = {Onto{C}ommons {D}eliverable {D}2.4: {TRO} {B}eta {R}elease},
year = {2022},
url = {https://cloud.cnr.it/owncloud/index.php/s/WzsBI7qw3Om0j0u}}