掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Formal Ontology in Information Systems
International Conference on Formal Ontology in Information Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Elements for a linguistic ontology in the verbal domain
机译:
语言域中语言本体的元素
作者:
Lucia M. TOVENA
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2012年
关键词:
Plurality;
Event domain;
Granularity for events;
Ontology and Natural Language Semantics;
2.
Ontology of Time in GFO
机译:
GFO的时间的本体论
作者:
Ringo BAUMANN
;
Frank LOEBE
;
Heinrich HERRE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2012年
关键词:
Ontology of Time;
Time Point;
Time Interval;
Coincidence;
Brentano;
3.
The Date-Time Vocabulary
机译:
日期时间词汇
作者:
Mark H. Linehan
;
Ed Barkmeyer
;
Stan Hendryx
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2012年
关键词:
Date-time ontology;
Time ontology;
Date-time vocabulary;
SBVR;
Common Logic;
IKL;
UML;
OCL;
OWL;
4.
Preliminaries to a formal ontology of failure of engineering artifacts
机译:
正式本体论工程伪影失败的预备
作者:
Luca DEL FRATE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2012年
关键词:
Failure;
Failure event;
Fault state;
Engineering artifacts;
5.
A Method for Evaluating Ontologies Introducing the BFO-Rigidity Decision Tree Wizard
机译:
一种评估介绍BFO - 刚度决策树向导的本体的方法
作者:
A. Patrice Seyed
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2012年
关键词:
BFO;
OntoClean;
Ontology;
6.
Three Semantics for the Core of the Distributed Ontology Language
机译:
分布式本体语言核心的三个语义
作者:
Till MOSSAKOWSKI
;
Christoph LANGE
;
Oliver KUTZ
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2012年
关键词:
Ontology languages;
Logic;
Heterogeneous formalisation;
Modular ontologies;
Syntax;
Semantics;
7.
The Cardiovascular Disease Ontology
机译:
心血管疾病本体论
作者:
Adrien BARTON
;
Arnaud ROSIER
;
Anita BURGUN
;
Jean-Francois ETHIER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Disease;
Cardiovascular system;
Disposition;
Ontological realism;
8.
Towards Ontological Support for Principle Solutions in Mechanical Engineering
机译:
朝着机械工程原理解决方案的本体研究
作者:
Thilo BREITSPRECHER
;
Mihai CODESCU
;
Constantin JUCOVSCHI
;
Michael KOHLHASE
;
Lutz SCHRODER
;
Sandro WARTZACK
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Knowledge-based engineering;
Document-oriented processes;
9.
An ontology for personalized environmental decision support
机译:
个性化环境决策支持的本体论
作者:
Marco ROSPOCHER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology-based Decision Support System;
Environmental Ontology;
10.
KB_Bio_101: Content and Challenges
机译:
kb_bio_101:内容和挑战
作者:
Vinay K. CHAUDHRI
;
Daniel ELENIUS
;
Sue HINOJOZA
;
Michael WESSEL
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
11.
The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering
机译:
知识元素的独特预测及本体工程中的可视化和分解
作者:
Hermann Bense
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Knowledge Element;
Knowledge Representation;
Naming Convention;
Ontology Development and Visualization;
Semantic Web;
Semiotic Triangle;
12.
Unit of Organizational Learning Ontology based on LOM Standard and IMS Learning Design
机译:
基于LOM标准和IMS学习设计的组织学习本体单位
作者:
Andre MENOLLI
;
H. Sofia PINTO
;
Sheila REINEHR
;
Andreia MALUCELLI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology;
Organization learning;
Unit of organizational learning;
Organizational learning object;
Software engineering;
13.
An Ontology for the τ-theory of Enterprise Engineering
机译:
企业工程τ-理论的本体论
作者:
Jan Dietz
;
David Aveiro
;
Joao Pombinho
;
Jan Hoogervorst
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Enterprise engineering;
Ontology;
System;
Model;
Subject;
Object;
Function;
Affordance;
Purpose;
Value;
14.
States, Events, and Truth-makers
机译:
国家,活动和真实制造者
作者:
Alessander BOTTI BENEVIDES
;
Claudio MASOLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Time;
Change;
Events;
Constitution;
Identity;
Cognition and language;
15.
Events and Activities: Is there an Ontology behind BPMN?
机译:
活动和活动:BPMN背后有没有本体吗?
作者:
Emilio M. SANFILIPPO
;
Stefano BORGO
;
Claudio MASOLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Business Process;
BPMN;
Event;
Activity;
16.
Crowd-Sourcing Ontology Content and Curation: The Massive Ontology Interface
机译:
人群采购本体内容与策划:大规模本体界面
作者:
Samuel Sarjant
;
Catherine Legg
;
Matt Stannett
;
Duncan Willcock
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology;
Crowdsource;
Interface;
17.
Resilience as a Disposition
机译:
弹性作为性格
作者:
Desiree Daniel
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Socio-ecological resilience;
Ontology;
Disposition;
18.
An Ontology-based Taxonomic Key for Afrotropical Bees
机译:
基于本体的分类蜜蜂
作者:
Aurona Gerber
;
Connal Eardley
;
Nishal Morar
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology-based taxonomic key;
Afrotropical bees;
Automated support for taxonomy;
19.
Towards an Ontology of Software: a Requirements Engineering Perspective
机译:
迈向软件的本体:需求工程视角
作者:
Xiaowei WANG
;
Nicola GUARINO
;
Giancarlo GUIZZARDI
;
John MYLOPOULOS
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Software;
Artifact;
Ontology;
Software engineering;
Requirements engineering;
20.
A Sideways Look at Upper Ontologies
机译:
侧面看上部本体论
作者:
Michael GRUNINGER
;
Torsten HAHMANN
;
Megan KATSUMI
;
Carmen CHUI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
COLORE;
Generic ontology;
Ontology merging;
Ontology repository;
Ontology design;
Sharability;
Similarity;
Modularity;
Upper ontologies;
21.
Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain)
机译:
语料库引导侦听集群分析:本体开发方法(来自空间域的示例)
作者:
Brandon BENNETT
;
Claudia CIALONE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontological Engineering;
Natural Language;
Spatial Ontology;
22.
ContoExam: an ontology on context-aware examinations
机译:
contoexam:关于背景感知考试的本体论
作者:
Paul BRANDT
;
Twan BASTEN
;
Sander STUIJK
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology;
UFO;
Semantic reference space;
Metrology;
Examinology;
Property;
Quantity;
Context;
Context-awareness;
Measurement;
Examination;
23.
Voids and material constitution across physical granularities
机译:
身体粒度的空隙和物质宪法
作者:
Torsten HAHMANN
;
Boyan BRODARIC
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Formal ontology;
First-order logic;
Spatial ontology;
Constitution;
Parthood;
Granularity;
Matter;
Mereology;
Void;
24.
Newtonian Forces and Causation: A Dispositional Account
机译:
牛顿力量和因果关系:一个处置账户
作者:
Adrien BARTON
;
Robert ROVETTO
;
Riichiro MIZOGUCHI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Force;
Causality;
Disposition;
Classical mechanics;
25.
The Ontology of Group Agency
机译:
集团机构的本体论
作者:
Daniele PORELLO
;
Emanuele BOTTAZZI
;
Roberta FERRARIO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Group agency;
Judgment aggregation;
Organization;
Social ontology;
26.
An Ontological Interpretation of Non-Functional Requirements
机译:
非功能要求的本体论解释
作者:
Renata Guizzardi
;
Feng-Lin Li
;
Alexander Borgida
;
Giancarlo Guizzardi
;
Jennifer Horkoff
;
John Mylopoulos
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Non-functional requirements;
Foundational ontology;
UFO;
Qualities;
27.
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology
机译:
应用基于现实主义的本体 - 版本控制方法跟踪基本正式本体中的更改
作者:
Selja SEPPALA
;
Barry SMITH
;
Werner CEUSTERS
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology versioning;
Change tracking;
Quality assessment;
Evaluation metrics;
Upper-level ontologies;
Realist ontology;
28.
An Ontological Analysis of Reference in Health Record Statements
机译:
健康记录陈述参考的本体论分析
作者:
Stefan SCHULZ
;
Catalina MARTINEZ-COSTA
;
Daniel KARLSSON
;
Ronald CORNET
;
Mathias BROCHHAUSEN
;
Alan RECTOR
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Information entities;
Biomedical ontology;
Medical diagnosis;
Description logics;
29.
Mathematical Foundations for Participation Ontologies
机译:
参与本体的数学基础
作者:
Carmen CHUI
;
Michael GRUNINGER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Incidence bundles;
Incidence foliations;
Ontology design pattern;
Ontology evaluation;
Ontology repository;
Ontology transfer;
Participation;
Processes;
30.
Ontology-based Data Management for the Italian Public Debt
机译:
基于本体论的意大利公共债务的数据管理
作者:
Natalia Antonioli
;
Francesco Castano
;
Spartaco Coletta
;
Stefano Grossi
;
Domenico Lembo
;
Maurizio Lenzerini
;
Antonella Poggi
;
Emanucla Virardi
;
Patrizia Castracane
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
31.
An Ontological Analysis of the ISO/IEC 24744 Metamodel
机译:
ISO / IEC 24744 Metamodel的本体学分分析
作者:
Fabiano B. RUY
;
Ricardo A. FALBO
;
Monalessa P. BARCELLOS
;
Giancarlo GUIZZARDI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontological analysis;
Foundational ontology;
Standards harmonization;
ISO/IEC 24744;
Unified Foundational Ontology;
32.
A First-order Formalization of Event, Object, Process and Role in YAMATO
机译:
雅加的事件,对象,过程和角色的一阶正式化
作者:
Stefano BORGO
;
Riichiro MIZOGUCHI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Formal ontology;
Yamato;
Event;
Object;
Process;
Role;
33.
A formal theory for conceptualizing artefacts and tool manipulations
机译:
概念化人工制品和工具操纵的正式理论
作者:
Nicolas TROQUARD
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology;
Logic;
Artefacts;
Functions;
Engineering;
34.
Adding Convexity to Mereotopology
机译:
将凸性添加到小型托管学
作者:
Marion HAEMMERLI
;
Achille C. VARZI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Mereotopology;
Convexity;
Convex hull;
Segment;
Spatial reasoning;
35.
Conceptual Models of Energy Transfer and Regulation
机译:
能源转移和调节的概念模型
作者:
Vinay K. CHAUDHRI
;
Nikhil DINESH
;
Stijn HEYMANS
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Process representation;
Multiple perspectives;
Energy transfer;
Regulation;
Educational ontology;
36.
Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling
机译:
面向方面的本体:使用本体中的动态模块化
作者:
Ralph SCHAFERMEIER
;
Adrian PASCHKE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Modular Ontology Development;
Aspect-Oriented Programming;
Ontology Reuse;
37.
An ontology for the Business Process Modelling Notation
机译:
业务流程建模符号的本体论
作者:
Marco ROSPOCHER
;
Chiara GHIDINI
;
Luciano SERAFINI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology;
OWL;
Semantic Web;
BPMN;
Business Processes;
38.
Interdependence among material objects and voids
机译:
物质对象和空隙之间的相互依存
作者:
Torsten HAHMANN
;
Boyan BRODARIC
;
Michael GRUNINGER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Formal ontology;
First-order logic;
Spatial ontology;
Physical space;
Hydro ontology;
Ontological dependence;
Interdependence;
Matter;
Constitution;
Mereotopology;
Void;
Hole;
39.
An Ontological Core for Conformance Checking in the Engineering Life-cycle
机译:
工程生命周期一致性检查的本体核心
作者:
Andreas JORDAN
;
Matt SELWAY
;
Wolfgang MAYER Georg GROSSMANN
;
Markus STUMPTNER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Foundational Ontology;
Artefacts;
Roles;
Information Objects;
40.
Logical Operators for Ontological Modeling
机译:
本体逻辑运算符
作者:
Stefano BORGO
;
Daniele PORELLO
;
Nicolas TROQUARD
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Logical operator;
Ontological modeling;
Linear logic;
Artefact;
41.
The Two Ontological Faces of Velocity
机译:
两个本体的速度面
作者:
Adrien BARTON
;
Jean-Francois ETHIER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Velocity;
Disposition;
Causation;
Motion;
Inertia;
Realism;
Perspectivalism;
BFO;
42.
Considering Collectives: Roles, Members and Goals
机译:
考虑集体:角色,成员和目标
作者:
Zena WOOD
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Collective;
Role;
Membership;
43.
A Formal Ontology of Texts
机译:
正式的文本本体论
作者:
Pawel GARBACZ
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Ontology of texts;
Ontological relations;
Layered ontology;
44.
Towards an Ontology of Requirements at Runtime
机译:
在运行时对所需的本体论
作者:
Bruno Borlini DUARTE
;
Vitor E. Silva SOUZA
;
Andre Luiz de Castro LEAL
;
Ricardo de Almeida FALBO
;
Giancarlo GUIZZARDI
;
Renata S. S. GUIZZARDI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Requirements;
Runtime;
Ontology;
UFO;
RRO;
45.
Event Categories on the Semantic Web and Their Relationship/Object Distinction
机译:
语义Web上的事件类别及其关系/对象区别
作者:
Tomas HANZAL
;
Vojtech SVATEK
;
Miroslav VACURA
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Events;
Semantic web;
Ontologies;
Conceptual modeling;
46.
Granular Mereogeometry
机译:
颗粒状模拟机械
作者:
Hedda Rahel SCHMIDTKE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Mereogeometry;
Granularity;
Ontology;
Reasoning;
47.
Concepts as (Recognition) Abilities
机译:
概念(识别)能力
作者:
Fausto GIUNCHIGLIA
;
Mattia FUMAGALLI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Concepts;
Recognition ability;
Ontology;
Cognition;
Foundations;
48.
What s Ontology Reuse?
机译:
什么是本体中重用?
作者:
Megan KATSUMI
;
Michael GRUNINGER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Ontology design;
Development;
Reuse;
49.
Knowing Whether Spatio-Temporal Analysis Procedures Are Applicable to Datasets
机译:
了解时空分析程序是否适用于数据集
作者:
Simon SCHEIDER
;
Martin TOMKO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Spatio-temporal analysis;
Ontology design pattern;
E-science;
Analysis support;
Applicability;
50.
Understanding Predication in Conceptual Spaces
机译:
了解概念空间中的预测
作者:
Claudio MASOLO
;
Daniele PORELLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Conceptual spaces;
Cognitive semantics;
Predication;
Objects;
Concepts;
Rough sets;
Three-valued logics;
51.
Observations and Their Explanations
机译:
观察和他们的解释
作者:
Claudio MASOLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Ontology of Observations;
Measurement;
Testing;
Plausibility;
Truth;
52.
Mapping and Verification of the Time Ontology in SUMO
机译:
映射和验证SUMO时的initology
作者:
Lydia Silva Munoz
;
Michael Gruninger
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Ontology verification;
Ontology mapping;
SUMO ontology;
DOLCE ontology;
PSL ontology;
53.
A Molecular Structure Ontology for Medicinal Chemistry
机译:
药用化学的分子结构本体论
作者:
Carmen CHUI
;
Michael GRUNINGER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
ChEBI;
Chemical graph theory;
COLORE;
Daraprim;
Drug discovery;
IUPAC;
Medicinal chemistry;
Molecular graph theory;
Ontology design;
Ontology evaluation;
Ontology repository;
Pyrimethamine;
54.
Ontological Levels in Histological Imaging
机译:
组织学成像中的本体学院
作者:
Antony GALTON
;
Gabriel LANDINI
;
David RANDELL
;
Shereen FOUAD
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Histology;
Histopathology;
Histological image processing;
Digitised images;
Microscopy;
Histological stains;
Segmentation;
Mathematical morphology;
Discrete mereotopology;
Spatial logics;
Formal ontologies;
55.
Features and Components in Product Models
机译:
产品型号中的功能和组件
作者:
Emilio M. SANFILIPPO
;
Claudio MASOLO
;
Stefano BORGO
;
Daniele PORELLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Design;
Component;
Feature;
Conceptual space;
Mereology;
56.
Large-Scale Reasoning over Functions in Biomedical Ontologies
机译:
生物医学本体中的功能大规模推理
作者:
Robert HOEHNDORF
;
Liam MENCEL
;
Georgios V. GKOUTOS
;
Paul N. SCHOFIELD
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Protein;
Biological function;
Tractable reasoning;
Big Ontologies;
57.
The Functions of Definitions in Ontologies
机译:
在本体中定义的函数
作者:
Selja SEPPALA
;
Alan RUTTENBERG
;
Barry SMITH
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Ontology;
Definitions;
Textual definitions;
Logical definitions;
Functions of definitions;
58.
Formalizing and Adapting a General Function Module for Foundational Ontologies
机译:
正式化和适应基础本体的一般功能模块
作者:
Stefano BORGO
;
Riichiro MIZOGUCHI
;
Yoshinobu KITAMURA
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Function;
Foundational ontology;
Behavior;
Process;
System;
BFO;
YAMATO;
DOLCE;
59.
Towards an Ontology of Value Ascription
机译:
朝着价值归属的本体论
作者:
Birger ANDERSSON
;
Nicola GUARINO
;
Paul JOHANNESSON
;
Barbara LIVIERI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Value modeling;
Ontology;
Value ascription;
Enterprise modeling;
60.
Defining Relations: A General Incremental Approach with Spatial and Temporal Case Studies
机译:
定义关系:空间和时间案例研究的一般增量方法
作者:
Brandon BENNETT
;
Heshan DU
;
Lucia GOMEZALVAREZ
;
Anthony G. COHN
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Relations;
Definitions;
61.
Antipattern Comprehension: An Empirical Evaluation
机译:
反attern理解:实证评价
作者:
Tie HOU
;
Peter CHAPMAN
;
Andrew BLAKE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Evaluation;
Antipattern;
Visual;
62.
Towards an Ontology of Space for GFO
机译:
对GFO的空间的本体论
作者:
Ringo BAUMANN
;
Frank LOEBE
;
Heinrich HERRE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Top-level ontology;
Theory of space;
Theory of boundaries;
63.
An Intelligent Data Analysis Framework for Supporting Perception of Geospatial Phenomena
机译:
一种支持地理空间现象的感知的智能数据分析框架
作者:
Fernando RODA
;
Cecilia ZANNI-MERK
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Satellite Image analysis;
Intelligence Data Analysis;
Machine Perception;
Ontology;
Semantic Sensor Web;
SSN;
DOLCE;
64.
Adjective Semantics in Open Knowledge Extraction
机译:
空缺知识提取中的形容词语义
作者:
Aldo GANGEMI
;
Andrea Giovanni NUZZOLESE
;
Valentina PRESUTTI
;
Diego REFORGIATO RECUPERO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Adjective semantics;
Knowledge extraction;
Formal ontology;
65.
Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking
机译:
基于动态系统的本体和可验证本体的计算:朝着基于Haskell的参考跟踪实现
作者:
Thomas BITTNER
;
Jonathan BONA
;
Werner CEUSTERS
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2016年
关键词:
Ontology based computing;
Haskell;
Functional programming;
Ontology;
66.
The Computer Program as a Functional Whole
机译:
计算机程序作为功能整体
作者:
C. Maria KEET
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Computer program;
Mereology;
Unity;
Granularity;
67.
Towards GFO 2.0: Architecture, Modules and Applications
机译:
致GFO 2.0:架构,模块和应用程序
作者:
Patryk BUREK
;
Frank LOEBE
;
Heinrich HERRE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Top-level ontology;
GFO;
Module;
68.
Foundations for Ontology of Persistence: Beyond Talk of Temporal Parts
机译:
持久性本体论的基础:超越谈话时间零件
作者:
Fumiaki TOYOSHIMA
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Persistence;
Temporal part;
Time;
Spacetime;
Upper ontology;
69.
Legal Theories and Judicial Decision-Making: An Ontological Analysis
机译:
法律理论和司法决策:本体论分析
作者:
Cristine GRIFFO
;
Joao Paulo A. ALMEIDA
;
Giancarlo GUIZZARDI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Legal theory;
Judicial decision-Making;
Legal core ontologies;
LKIF-Core;
UFO-L;
70.
Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies
机译:
外部验证FOLOROLOGIES的模型查找:空间本体研究
作者:
Shirly STEPHEN
;
Torsten HAHMANN
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Ontology verification;
First-order logic;
Satisfiability;
Model finding;
Definitions;
71.
A Mereology for Connected Structures
机译:
连接结构的情况
作者:
Michael GRUNINGER
;
Carmen CHUI
;
Yi RU
;
Jona THAI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Mereology;
Mereotopology;
Lattices;
Graphs;
72.
Ontology-Driven Cross-Domain Transfer Learning
机译:
Ontology驱动的跨域转移学习
作者:
Mattia FUMAGALLI
;
Gabor BELLA
;
Samuele CONTI
;
Fausto GIUNCHIGLIA
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Transfer learning;
Ontology;
Domain adaptation;
Ontologies and machine learning;
Generalization;
73.
A Commonsense Theory of Secrets
机译:
秘密致辞理论
作者:
Haythem O. ISMAIL
;
Merna SHAFIE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Secrets;
Commonsense reasoning;
Belief;
Intention;
Revelation;
74.
Needs and Intentionality: An Ontological Analysis and an Application to Public Services
机译:
需求和意向性:本体论分析和公共服务的申请
作者:
Luca BICCHERI
;
Roberta FERRARIO
;
Daniele PORELLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Need;
Satisfier;
Mental attitude;
Intentionality;
Intentional content;
Intentional object;
Public service;
Public administration;
75.
Ontological Analysis and Modularization of CIDOC-CRM
机译:
CIDOC-CRM的本体学分分析及模块化
作者:
Emilio M. SANFILIPPO
;
Beatrice MARKHOFF
;
Perrine PITTET
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
CIDOC-CRM;
Cultural heritage data modeling;
Modularity;
76.
The Mereological Structure of Informational Entities
机译:
信息实体的信息结构
作者:
Adrien BARTON
;
Fumiaki TOYOSHIMA
;
Laure VIEU
;
Paul FABRY
;
Jean-Francois ETHIER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Mereology;
Information content entity;
Informational structure;
77.
Pluralities, Collectives, and Composites
机译:
多个,集体和复合材料
作者:
Claudio MASOLO
;
Laure VIEU
;
Roberta FERRARIO
;
Stefano BORGO
;
Daniele PORELLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Mereology;
Parthood;
Constitution;
Membership;
Plural;
Plurality;
Collective;
Composition;
Composite;
Social group;
Agency;
Functionality;
78.
An Analysis of the Debate over Structural Universals
机译:
对结构普遍的辩论分析
作者:
Pawel GARBACZ
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Structural universal;
Mereology;
Instantiation;
Metaontology;
79.
An Ontology for Formal Models of Kinship
机译:
适用于亲属关系的本体论
作者:
Carmen CHUI
;
Michael GRUNINGER
;
Janette WONG
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Algebraic model;
Anthropology;
Kinship;
Kin term map;
Relationships;
Domain ontology;
80.
Foundations for an Ontology of Belief, Desire and Intention
机译:
对信仰,欲望和意图的本体论的基础
作者:
Fumiaki TOYOSHIMA
;
Adrien BARTON
;
Olivier GRENIER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2020年
关键词:
Belief;
Desire;
Intention;
Disposition;
Occurrent;
81.
A New Classification of Collectives
机译:
集体的新分类
作者:
Zena WOOD
;
Antony GALTON
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Collective;
Collection;
Social group;
Dynamic phenomena;
82.
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure
机译:
用Dolce滑雪:走向电子科学知识基础设施
作者:
Boyan Brodaric
;
Femke Reitsma
;
Yi Qiang
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Science ontology;
Scientific reasoning;
DOLCE;
Environmental model;
83.
KEMM: A Knowledge Engineering Methodology in the Medical Domain
机译:
KEMM:医学领域的知识工程方法
作者:
Pinar WENNERBERG
;
Sonja ZILLNER
;
Manuel MOLLER
;
Paul BUITELAAR
;
Michael SINTEK
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Knowledge engineering methodology;
Biomedical ontologies;
Reasoning;
Image retrieval;
84.
Granular Models for Vague Predicates
机译:
模糊谓词的粒度模型
作者:
Silvia GAIO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Vagueness;
Granularity;
Gradable Adjectives;
Contextualism;
85.
The Ontological Square and its Logic
机译:
本体方块及其逻辑
作者:
Luc SCHNEIDER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Universals;
Particulars;
Substances;
Modes;
Second-order logic;
86.
Formal Semantics and Ontologies: Towards an Ontological Account of Formal Semantics
机译:
正式的语义和本体:正式语义的本体论叙述
作者:
Frank LOEBE
;
Heinrich HERRE
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Formal semantics;
Ontology;
Ontological semantics;
First order logic;
87.
Utility Ontology Development with Formal Concept Analysis
机译:
实用本体论正式概念分析
作者:
Gaihua Fu
;
Anthony G Cohn
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Ontology;
Integration;
Formal Concept Analysis;
88.
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology
机译:
人工制品和角色:乘法本体中的建模策略
作者:
Laure VIEU
;
Stefano BORGO
;
Claudio MASOLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Representation methodology;
Ontology of social reality;
Multiplicativism;
Kinds of entities;
Reification;
89.
Selecting and Customizing a Mereology Ontology for its Reuse in a Pharmaceutical Product Ontology
机译:
选择和自定义一种模特学在药品本体中的重用物理学
作者:
Mariano FERNANDEZ-LOPEZ
;
Asuncion GOMEZ-PEREZ
;
Mari Carmen
;
SUAREZ-FIGUEROA
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Mereology;
Implemented ontology;
Pattern reuse;
Competency question;
90.
On the Syntax and Semantics of Effect Axioms
机译:
关于效果公理的语法和语义
作者:
Haythem O. ISMAIL
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Knowledge representation;
Actions;
Events;
States;
91.
Introducing Realist Ontology for the Representation of Adverse Events
机译:
为不良事件的代表介绍现实物理学
作者:
Werner CEUSTERS
;
Maria CAPOLUPO
;
Georges DE MOOR
;
Jos DEVLIES
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Basic Formal Ontology;
Referent Tracking;
Adverse events;
Patient safety;
92.
Cognitive Context and Arguments from Ontologies for Learning
机译:
学习的认知语境和论点来自本体学习
作者:
Christiana PANAYIOTOU
;
Brandon BENNETT
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Ontologies;
Reasoning;
Formal comparison between ontologies;
93.
Island Reasoning for ALCHI Ontologies
机译:
Alchi Intolologies的岛屿推理
作者:
Sebastian WANDELT
;
Ralf MOELLER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2008年
关键词:
Ontologies;
Instance checking;
Scalability;
94.
An ontology for personalized environmental decision support
机译:
个性化环境决策支持的本体论
作者:
Marco ROSPOCHER
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology-based Decision Support System;
Environmental Ontology;
95.
An Ontology for the τ-theory of Enterprise Engineering
机译:
企业工程τ-理论的本体论
作者:
Jan Dietz
;
David Aveiro
;
Joao Pombinho
;
Jan Hoogervorst
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Enterprise engineering;
Ontology;
System;
Model;
Subject;
Object;
Function;
Affordance;
Purpose;
Value;
96.
Unit of Organizational Learning Ontology based on LOM Standard and IMS Learning Design
机译:
基于LOM标准和IMS学习设计的组织学习本体单位
作者:
Andre MENOLLI
;
H. Sofia PINTO
;
Sheila REINEHR
;
Andreia MALUCELLI
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Ontology;
Organization learning;
Unit of organizational learning;
Organizational learning object;
Software engineering;
97.
States, Events, and Truth-makers
机译:
国家,活动和真实制造者
作者:
Alessander BOTTI BENEVIDES
;
Claudio MASOLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Time;
Change;
Events;
Constitution;
Identity;
Cognition and language;
98.
Events and Activities: Is there an Ontology behind BPMN?
机译:
活动和活动:BPMN背后有没有本体吗?
作者:
Emilio M. SANFILIPPO
;
Stefano BORGO
;
Claudio MASOLO
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Business Process;
BPMN;
Event;
Activity;
99.
The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering
机译:
知识元素的独特预测及本体工程中的可视化和分解
作者:
Hermann Bense
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Knowledge Element;
Knowledge Representation;
Naming Convention;
Ontology Development and Visualization;
Semantic Web;
Semiotic Triangle;
100.
Towards an Ontology of Software: a Requirements Engineering Perspective
机译:
迈向软件的本体:需求工程视角
作者:
Xiaowei WANG
;
Nicola GUARINO
;
Giancarlo GUIZZARDI
;
John MYLOPOULOS
会议名称:
《International Conference on Formal Ontology in Information Systems》
|
2014年
关键词:
Software;
Artifact;
Ontology;
Software engineering;
Requirements engineering;
意见反馈
回到顶部
回到首页