Automata for Ontologies

机译：自动加载本体

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present three reasoning problems for description logic ontologies and discuss how automata theory can be used to analyze them.

机译：我们为描述逻辑本体提出了三个推理问题，并讨论了自动机构理论如何用于分析它们。

著录项

来源
《International Conference on Language and Automata Theory and Applications》|2016年||共4页
会议地点
作者
Frank Wolter;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP273-53;
关键词
入库时间 2022-08-20 23:04:49

相似文献

外文文献
中文文献
专利

1. An ontology-driven context-aware recommender system for indoor shopping based on cellular automata [J] . Orciuoli Francesco, Parente Mimmo Journal of ambient intelligence and humanized computing . 2017,第6期

机译：基于元胞自动机的本体驱动的室内购物上下文感知推荐系统
2. Ontology View on Automata Theory [J] . Sergey Krivoi, Lyudmila Matveyeva, Yelena Lukianova, International Journal Information Theories and Applications . 2008,第4期

机译：自动机理论的本体论观点
3. From disease ontology to disease-ontology lite: statistical methods to adapt a general-purpose ontology for the test of gene-ontology associations [J] . Du Pan, Feng Gang, Flatow Jared, Bioinformatics . 2009,第12期

机译：从疾病本体论到疾病本体论精简版：统计方法，用于调整通用本体论以测试基因本体论关联
4. Automata for Ontologies [C] . Frank Wolter International conference on language and automata theory and applications . 2016

机译：自动用于本体
5. Complexity Theoretic Parallels Among Automata, Formal Languages and Real Variables Including Multi-Patterns, L-Systems and Cellular Automata. [D] . Xie, Jingnan. 2017

机译：自动机，形式语言和实变量（包括多模式，L系统和元胞自动机）之间的复杂性理论并行。
6. How Chemistry Computes: Language Recognition by Non-Biochemical Chemical Automata. From Finite Automata to Turing Machines [O] . Marta Dueñas-Díez, Juan Pérez-Mercader 2019

机译：化学如何计算：非生化化学自动机的语言识别。从有限的自动机到图灵机
7. Ontology View on Automata Theory [O] . Krivoi Sergey, Matveyeva Lyudmila, Lukianova Yelena, 2008

机译：自动机理论的本体论观点
8. Toward a Homological Algebra of Automata III: 3. Composition Series of Automata. 4. Extensions of Q-Automata [R] . Give'on, Y. 1964

机译：走向自动机III的同源代数：3。自动机的组成系列。 4. Q-automata的扩展

Automata for Ontologies

摘要

著录项

相似文献

相关主题

期刊订阅