×

找到50个文档(结果1-50)

SHACL:伪装的描述逻辑。 (英语) Zbl 1515.68301号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13416, 75-88 (2022).
PDF格式BibTeX公司 XML格式引用

15年的基于结果的推理。 (英语) Zbl 1444.68192号

Lutz,Carsten(编辑)等人,《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆:斯普林格。勒克特。注释计算。科学。11560, 573-587 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

NoHR:将XSB Prolog与OWL2配置文件及其他配置文件集成。 (英语) Zbl 1491.68045号

Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10377, 236-249 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

风能系统本体建模的数据结构。 (英语) Zbl 1410.68350号

Simian,Dana(编辑),智能系统的建模和开发。第四届国际会议记录,2015年10月28日至11月1日,罗马尼亚锡比乌。Sibiu:《卢西恩·布拉加》大学出版社。51-58 (2016).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

语义网的模糊知识管理。 (英语) Zbl 1283.68017号

模糊与软计算研究306.海德堡:施普林格(ISBN 978-3-642-39282-5/hbk;978-3-442-39283-2/电子书)。xi,第275页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

本体论。概念、技术和应用。第2版。(Ontologien.Konzepte、Technogien和Anwendungen.) (德语) Zbl 1226.68107号

Informatik im Focus公司。柏林:施普林格出版社(ISBN 978-3-642-05403-7/pbk;978-3-442-05404-4/ebook)。xiii,273页。(2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

“通用和默认”。关于概念系统、标准假设和例外的技术处理。(“泛型和默认值”。Zum technischen Umgang mit Begriffssystemen,Standardannahmen und Ausnahmen。) (德语) 兹比尔1170.03312

Bernhard,Peter(编辑)等人,《Kontext中的Denken方法》。克里斯蒂安·蒂尔(Christian Thiel)。Mit einem unveröffentlichten简介Gottlob Freges。帕德博恩:mentis Verlag(ISBN 978-3-89785-594-6/pbk)。383-401 (2008).
PDF格式BibTeX公司 XML格式引用

解决不可满足本体的细粒度方法。 (英语) Zbl 1132.68060号

Spacapietra,Stefano(编辑),《数据语义学杂志》X。柏林:施普林格出版社(ISBN 978-3-540-77687-1/pbk)。计算机科学课程讲稿4900。《期刊副刊》,62-95(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

主字段