发布求助
文献互助 智能选刊 最新文献

International Workshop on Modular Ontologies最新文献

筛选
英文 中文
Modular Approach for a New Ontology 新本体的模块化方法
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-40
J. Dmitrieva, F. Verbeek
{"title":"Modular Approach for a New Ontology","authors":"J. Dmitrieva, F. Verbeek","doi":"10.3233/978-1-60750-799-4-40","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-40","url":null,"abstract":"","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130916036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
The Onto-Logical Translation Graph 本体-逻辑翻译图
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-94
T. Mossakowski, O. Kutz
{"title":"The Onto-Logical Translation Graph","authors":"T. Mossakowski, O. Kutz","doi":"10.3233/978-1-60750-799-4-94","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-94","url":null,"abstract":"We present an overview of the landscape of ontology languages, mostly pertaining to the first-order paradigm. In particular, we present a uniform formalisation of these languages based on the institution theoretical framework, allowing a systematic treatment and analysis of the translational relationships between the various languages and a general analysis of properties of such translations. We also discuss the importance of language translation from the point of view of ontological modularity and logical pluralism, and for the borrowing of tools and reasoners between languages.","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"236 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132119954","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Simple Reasoning for Contextualized RDF Knowledge 上下文化RDF知识的简单推理
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-79
M. Joseph, L. Serafini
{"title":"Simple Reasoning for Contextualized RDF Knowledge","authors":"M. Joseph, L. Serafini","doi":"10.3233/978-1-60750-799-4-79","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-79","url":null,"abstract":"","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121498668","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Goals of Modularity: A Voice from the Foundational Viewpoint 模块化的目标:来自基础观点的声音
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-1
S. Borgo
{"title":"Goals of Modularity: A Voice from the Foundational Viewpoint","authors":"S. Borgo","doi":"10.3233/978-1-60750-799-4-1","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-1","url":null,"abstract":"","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131832398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Modularization Requirements in Bio-Ontologies: A Case Study of ChEbi 生物本体中的模块化需求:以车笔为例
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-63
Janna Hastings, Colin R. Batchelor, C. Steinbeck, S. Schulz
{"title":"Modularization Requirements in Bio-Ontologies: A Case Study of ChEbi","authors":"Janna Hastings, Colin R. Batchelor, C. Steinbeck, S. Schulz","doi":"10.3233/978-1-60750-799-4-63","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-63","url":null,"abstract":"","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121327816","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Query Inseparability and Module Extraction in OWL 2 QL owl2查询不可分性与模块抽取
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-10
M. Zakharyaschev
{"title":"Query Inseparability and Module Extraction in OWL 2 QL","authors":"M. Zakharyaschev","doi":"10.3233/978-1-60750-799-4-10","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-10","url":null,"abstract":"The OWL 2 QL profile of OWL, based on the DL family of description logics, is emerging as a major language for developing new ontologies and approximating existing ones. Its main application is ontology-based data access, where ontologies are used to provide background knowledge for answering queries over data. We give a survey of recent results on the computational complexity of checking query inseparability for OWL 2 QL ontologies and analyse the impact of various OWL 2 QL constructs in the context of query inseparability. We also discuss practical query inseparability checking and minimal module extraction algorithms, as well as experimental results.","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124887560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exploiting Modularity for Ontology Verification 利用模块化进行本体验证
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-55
M. Grüninger, T. Hahmann, Megan Katsumi
{"title":"Exploiting Modularity for Ontology Verification","authors":"M. Grüninger, T. Hahmann, Megan Katsumi","doi":"10.3233/978-1-60750-799-4-55","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-55","url":null,"abstract":"Within knowledge representation, ontologies are logical theories that support software integration and decision support systems. Ontology verification is concerned with the relationship between the intended structures for an ontology and the models of the axiomatization of the ontology. To verify a particular ontology, we ideally characterize all the models of the ontology up to elementary equivalence and prove that these models are equivalent to the intended structures for the ontology. In this paper, we investigate the use of automated theorem provers and model finders to assist in the interactive verification of firstorder ontologies. We identify the reasoning tasks that are associated with different aspects of ontology verification and discuss challenges for the application of automated reasoning systems to support these tasks.","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132218356","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Modularity Issues in Biomedical Ontologies 生物医学本体中的模块化问题
International Workshop on Modular Ontologies Pub Date : 1900-01-01 DOI: 10.3233/978-1-60750-799-4-7
S. Schulz, Pablo López-García
{"title":"Modularity Issues in Biomedical Ontologies","authors":"S. Schulz, Pablo López-García","doi":"10.3233/978-1-60750-799-4-7","DOIUrl":"https://doi.org/10.3233/978-1-60750-799-4-7","url":null,"abstract":"","PeriodicalId":347742,"journal":{"name":"International Workshop on Modular Ontologies","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133178245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信