Automata for Ontologies

被引：3
|
作者：
Wolter, Frank [1 ]
机构：
[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England
来源：
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016 | 2016年 / 9618卷
关键词：
DESCRIPTION LOGICS;
D O I：
10.1007/978-3-319-30000-9_4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present three reasoning problems for description logic ontologies and discuss how automata theory can be used to analyze them.
引用
收藏
页码：57 / 60
页数：4
相关论文
共 50 条
  • [1] Automata for Ontologies
    Wolter, Frank
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : XVIII - XVIII
  • [2] Are the current ontologies in biology good ontologies?
    Larisa N Soldatova
    Ross D King
    Nature Biotechnology, 2005, 23 : 1095 - 1098
  • [3] Are the current ontologies in biology good ontologies?
    Soldatova, LN
    King, RD
    NATURE BIOTECHNOLOGY, 2005, 23 (09) : 1095 - 1098
  • [4] Ontologies
    Mädche, A
    Staab, S
    Studer, R
    WIRTSCHAFTSINFORMATIK, 2001, 43 (04): : 393 - 395
  • [5] Ontologies
    Vickery, BC
    JOURNAL OF INFORMATION SCIENCE, 1997, 23 (04) : 277 - 286
  • [6] Ontologies
    不详
    SECURITY ENGINEERING WITH PATTERNS: ORIGINS, THEROETICAL MODEL, AND NEW APPLICATIONS, 2003, 2754 : 29 - 44
  • [7] Ontologies
    Krasikov, V. I.
    VOPROSY FILOSOFII, 2013, (09) : 43 - 51
  • [8] Ontologies
    Swartout, W
    Tate, A
    IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1999, 14 (01): : 18 - 19
  • [9] Ontologies
    Hausenblas, Michael
    IEEE INTERNET COMPUTING, 2007, 11 (04) : 5 - 5
  • [10] Annotation modeling with formal ontologies: Implications for informal ontologies
    Lumb, L. I.
    Freemantle, J. R.
    Lederman, J. I.
    Aldridge, K. D.
    COMPUTERS & GEOSCIENCES, 2009, 35 (04) : 855 - 861
12345