competency questionsを設定している．p.136, 137
OWLではdefault valueは扱えないらしい．
↑以外にもlimitationがあるのでformalizeしないと言っているものがある．->undecidabilityを生むようなもの．
Business Process Diagramsをinstantiationするautomated
toolも開発済み．
SPARQLクエリで検索可能になるし，Compliance checkingも可能になる．
applicationとしてformalismの変換をontology
mappingを通して出来るよ．
modelingされたものがautomatedにprocessされる？そういうことまでBPMNでは意図しているのだろうか．
Applicationがあんまり具体的でない．「クレジットカードのデータと紐づけされた全ての行為を取ってきてね」っていうクエリがそんなに重要なのかしら？どういう場面なのかが分からない．
latex2owlというツールで作ったらしい．4人週．驚異的な速さで作られている．BPMNのSpecification読み解くだけでも大変なのに．
2018.03.05
@inproceedings{DBLP:conf/fois/RospocherGS14,
author = {Marco Rospocher and
Chiara Ghidini and
Luciano Serafini},
editor = {Pawel Garbacz and
Oliver Kutz},
title = {An ontology for the Business Process Modelling Notation},
booktitle = {Formal Ontology in Information Systems - Proceedings of the Eighth
International Conference, {FOIS} 2014, September, 22-25, 2014, Rio
de Janeiro, Brazil},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {267},
pages = {133--146},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-438-1-133},
doi = {10.3233/978-1-61499-438-1-133},
timestamp = {Wed, 25 Sep 2019 18:14:19 +0200},
biburl = {https://dblp.org/rec/conf/fois/RospocherGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}