Computing the least common subsumer w.r.t. a background terminology

被引：5

作者：

Baader, F ^{[1
]}

Sertkaya, B ^{[1
]}

Turhan, AY ^{[1
]}

机构：

[1] TU Dresden, Dresden, Germany

来源：

LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2004年 / 3229卷

关键词：

D O I：

10.1007/978-3-540-30227-8_34

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very expressive Us. In order to allow the user to re-use concepts defined in such terminologies and still support the definition of new concepts by computing the lcs, we extend the notion of the lcs of concept descriptions to the notion of the Ics w.r.t. a background terminology. We will both show a theoretical result on the existence of the least common subsumer in this setting, and describe a practical approach (based on a method from formal concept analysis) for computing good common subsumers, which may, however, not be the least ones.

引用

页码：400 / 412

页数：13

共 50 条

[41] Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous
Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, United Kingdom
[J]. Fundam Inf, 2007, 1-3 (297-313):
[42] Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation
Tvardovskii, Aleksandr
[J]. TESTING SOFTWARE AND SYSTEMS (ICTSS 2017), 2017, 10533 : 333 - 339
[43] Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous
Rybakov, Vladimir V.
[J]. FUNDAMENTA INFORMATICAE, 2007, 81 (1-3) : 297 - 313
[44] A NEW ANALYTIC FOURIER-FEYNMAN TRANSFORM W.R.T. SUBORDINATE BROWNIAN MOTION
El Koufi, Mohamed
[J]. JOURNAL OF THE KOREAN SOCIETY OF MATHEMATICAL EDUCATION SERIES B-PURE AND APPLIED MATHEMATICS, 2021, 28 (02): : 119 - 142
[45] Study on on the Flow Characteristics of the Epoxy Resin w.r.t. Sizing Materials of Carbon Fibers
Lim, Su-Hyun
On, Seung Yoon
Kim, Seong-Su
[J]. COMPOSITES RESEARCH, 2018, 31 (06): : 379 - 384
[46] On strictly minimal elements W.R.T. preorder relations in set-valued optimization
Günther C.
Köbis E.
Popovici N.
[J]. Applied Set-Valued Analysis and Optimization, 2019, 1 (03): : 205 - 219
[47] Vector Optimization w.r.t. Relatively Solid Convex Cones in Real Linear Spaces
Guenther, Christian
Khazayel, Bahareh
Tammer, Christiane
[J]. JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2022, 193 (1-3) : 408 - 442
[48] Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Franz Baader
Deepak Kapur
[J]. Journal of Automated Reasoning, 2022, 66 : 301 - 329
[49] Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Baader, Franz
Kapur, Deepak
[J]. JOURNAL OF AUTOMATED REASONING, 2022, 66 (03) : 301 - 329
[50] Vector Optimization w.r.t. Relatively Solid Convex Cones in Real Linear Spaces
Christian Günther
Bahareh Khazayel
Christiane Tammer
[J]. Journal of Optimization Theory and Applications, 2022, 193 : 408 - 442

← 1 2 3 4 5 →