8.FOIS 2014:巴西里约热内卢
巴维尔·加巴茨 , 奥利弗·库茨 :
信息系统中的形式本体——第八届国际会议论文集,FOIS 2014年9月22日至25日,巴西里约热内卢。 人工智能和应用的前沿 267, IOS出版社 2014 ,十亿 978-1-61499-437-4 尼古拉斯·阿舍 :
我们在本体的形式语义学方面学到了什么? FOIS公司 2014 : 三 套件精细 :
模糊新理论。 FOIS公司 2014 : 4 尼古拉·瓜里诺 :
本体分析与概念建模:成就与展望。 FOIS公司 2014 : 5 Clarisse Sieckenius de Souza公司 :
现在是讨论计算机程序中第一人称含义的时候了吗? FOIS公司 2014 : 6 迈克尔·格里宁格 , 托尔斯滕·哈曼 , 梅根·卡苏米 , 蔡嘉文(Carmen Chui) :
侧视上本体论。 9-22 斯特凡诺·博戈 , 丹尼尔·波雷洛 , 尼古拉斯·特罗夸德 :
本体建模的逻辑运算符。 23-36 托尔斯滕·哈曼 , 博扬·布罗达里克 , 迈克尔·格里宁格 :
物质对象和空洞之间的相互依赖性。 37-50 托尔斯滕·哈曼 , 博扬·布罗达里克 :
物理粒度的空隙和材料构成。 51-64 马里恩·海默里 , 阿奇尔·瓦尔齐(Achille C.Varzi) :
向Mereotopology添加凸性。 65-78 斯特凡诺·博戈 , 沟口里一郎 :
YAMATO中事件、对象、过程和角色的一阶形式化。 79-92 亚历山德·博蒂·贝内维提斯 , 克劳迪奥·马索洛 :
状态、事件和真相制造者。 93-102 蔡嘉文(Carmen Chui) , 迈克尔·格里宁格 :
参与本体论的数学基础。 105-118 尼古拉斯·特罗夸德 :
概念化人工制品和工具操作的正式理论。 119-132 马可·罗斯波切 , 奇亚拉·吉迪尼 , 卢西亚诺·塞拉菲尼 :
业务流程建模符号的本体。 133-146 埃米利奥·桑菲利波 , 斯特凡诺·博戈 , 克劳迪奥·马索洛 :
事件和活动:BPMN背后是否存在本体? 147-156 阿德里安·巴顿 , 罗伯特·罗维托 , 沟口里一郎 :
牛顿力与因果关系:一个支配性的解释。 157-170 德西里·丹尼尔 :
弹性作为一种处置。 171-182 丹尼尔·波雷洛 , 埃马努埃勒·博塔齐 , 罗伯塔·费拉里奥 :
集团代理的本体论。 183-196 拉尔夫·施瓦·费迈耶 , 阿德里安·帕斯克 :
面向方面的本体:使用本体元建模的动态模块化。 199-212 布兰登·贝内特 , 克劳迪娅·西奥兰 :
语料库引导的感知聚类分析:一种本体开发方法(带有来自空间域的示例)。 213-226 塞尔贾·塞普帕拉 , 巴瑞·史密斯 , 沃纳·切斯特斯 :
应用基于现实的本体-版本化方法跟踪基本形式本体中的更改。 227-240 赫尔曼·本斯 :
本体工程中知识元素的独特预测及其可视化和分解。 241-250 塞缪尔·萨扬 , 凯瑟琳·莱格 , 马特·斯坦尼特 , 邓肯·威尔科克 :
众包本体内容和治理:海量本体接口。 251-260 维奈·K·乔德里 , 尼基尔·迪内什 , 斯迪恩·海曼斯 :
能源转移和监管的概念模型。 263-276 奥罗娜·格伯 , 康纳尔·厄德利 , 尼沙尔·莫拉尔 :
非营养蜜蜂基于本体的分类学检索表。 277-288 斯特凡·舒尔茨 , 卡塔琳娜·马丁内斯·科斯塔 , 丹尼尔·卡尔森 , 罗纳德·科奈特 , 马蒂亚斯·布罗赫豪森 , 艾伦·L·雷克托 :
健康记录声明中引用的本体分析。 289-302 保罗·布兰特 , 特万·巴斯滕 , 桑德·斯图伊克 :
ContoExam:一个关于上下文软件检查的本体。 303-316 王晓伟 , 尼古拉·瓜里诺 , 吉安卡洛·吉扎迪 , 约翰·米洛波洛斯 :
走向软件本体:需求工程的视角。 317-329 法比亚诺·博尔赫斯·鲁 , 里卡多·德·阿尔梅达·法尔博 , Monalessa Perini Barcellos酒店 , 吉安卡洛·吉扎迪 :
ISO/IEC 24744元模型的本体分析。 330-343 雷娜塔·S.吉扎迪 , 李凤林 , 亚历山大·博吉达 , 吉安卡洛·吉扎迪 , 詹妮弗·霍科夫 , 约翰·米洛波洛斯 :
非功能需求的本体论解释。 344-357 安德烈亚斯·乔丹 , 马特·塞尔韦 , 沃尔夫冈·迈耶 , 乔治·格罗斯曼 , 马库斯·斯图姆特纳 :
工程生命周期中一致性检查的本体论核心。 358-371 纳塔莉亚·安东尼奥利 , 弗朗西斯科·卡斯坦 , 斯巴达克·科莱塔 , 斯特凡诺·格罗西 , 多梅尼科·伦博 , 毛里齐奥·伦泽里尼 , 安东内拉·波吉 , 伊曼纽拉·维拉迪 , 帕特里齐娅·卡斯特拉坎 :
意大利公共债务基于本体的数据管理。 372-385 简·L·G·迪茨 , 大卫·阿韦罗 , 乔·蓬比尼奥 , 简·A·P·胡格沃斯特 :
企业工程τ理论的本体。 386-395 安德烈·路易斯·安德拉德·梅诺利 , 海伦娜·索菲亚·平托 , 希拉·雷纳 , 安德烈亚·马卢塞利 :
基于LOM标准和IMS学习设计的组织学习本体单元。 396-405 阿德里安·巴顿 , 阿尔诺·罗西尔 , 安妮塔·布尔根 , Jean-François Ethier女士 :
心血管疾病本体论。 409-414 维奈·K·乔德里 , 丹尼尔·埃利纽斯 , 苏·希诺霍扎 , 迈克尔·韦塞尔 :
KB_Bio_101:内容和挑战。 415-420 马可·罗斯波切 :
用于个性化环境决策支持的本体。 421-426 Thilo Breitsprecher公司 , Mihai Codescu公司 , 康斯坦丁·尤科夫斯基 , 迈克尔·科尔哈斯 , 卢茨·施罗德 , 桑德罗·沃扎克 :
机械工程原理解决方案的本体论支持。 427-432
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)