https://link.springer.com/book/10.1007/978-3-319-49004-5
私たちはシンタックスというよりは，意味論に中心をおいたオントロジーオーサリングツールに対する新しい方法を提案する．ドメインを形式化する公理を書く代わりに，専門家は彼女のオントロジーにおける可能世界を探索する．そして，彼女の知識に一致しないものを削除する．削除することは探索された状況から自動的に由来する公理を生成する．私たちはその方法の試作品としてPossible World Explorer(PWE)を実装し，Protegeとの比較実験を行った．結果はPEWによってよりたくさんの公理が生み出され，エラーはより少なかった．もっと大事なことは，生成されたオントロジーはより完全であり，より演繹的にパワフルである．なぜなら否定制約がたくさん表現されるため．
2018.04.11
@inproceedings{DBLP:conf/ekaw/Ferre16,
author = {S{\'{e}}bastien Ferr{\'{e}}},
editor = {Eva Blomqvist and
Paolo Ciancarini and
Francesco Poggi and
Fabio Vitali},
title = {Semantic Authoring of Ontologies by Exploration and Elimination of
Possible Worlds},
booktitle = {Knowledge Engineering and Knowledge Management - 20th International
Conference, {EKAW} 2016, Bologna, Italy, November 19-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10024},
pages = {180--195},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49004-5\_12},
doi = {10.1007/978-3-319-49004-5\_12},
timestamp = {Fri, 27 Mar 2020 09:00:58 +0100},
biburl = {https://dblp.org/rec/conf/ekaw/Ferre16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}