Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0

Gasse, Francis; Sofronie-Stokkermans, Viorica

Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0

Gasse, F., & Sofronie-Stokkermans, V. (2011). Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. In R., Rosati, S., Rudolph, & M., Zakharyaschev (Eds.), Proceedings of the 2011 International Workshop on Description Logics (DL-2011) (pp. 125-135). Aachen, Germany: CEUR Workshop Proceedings.

Item is 公開

表示: 全項目非表示: 全項目

基本情報

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0010-14EE-1 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0023-C814-1

資料種別: 会議論文

ファイル

表示: ファイル

作成者

表示:

非表示:

作成者:
Gasse, Francis¹, 著者
Sofronie-Stokkermans, Viorica¹, 著者

所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

内容説明

表示:

非表示:

キーワード: -

要旨: We study possibilities of combining (fragments) of the lightweight description logics ${\cal F}{\cal L}_0$ and ${\cal E}{\cal L}$, and identify classes of subsumption problems in a combination of ${\cal E}{\cal L}$ and Horn-${\cal F}{\cal L}_0$, which can be checked in PSPACE resp. PTIME. Since ${\cal F}{\cal L}_0$ allows universal role restrictions and ${\cal E}{\cal L}$ allows existential role restrictions, we thus have a framework where subsumption between expressions including both types of role restrictions (but for disjoint sets of roles) can be checked in polynomial space or time.

資料詳細

表示:

非表示:

言語: eng - English

日付: 修正: 2012-03-22出版: 2011

出版の状態: 出版

ページ: -

出版情報: -

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 619015
URI: http://ceur-ws.org/Vol-745/paper_50.pdf
その他: Local-ID: C125716C0050FB51-4926854F23FED981C12578C60036D515-Gasse-Sofronie-Stokkermans-dl2011

学位: -

訴訟

表示:

Project information

表示:

出版物 1

表示:

非表示:

出版物名: Proceedings of the 2011 International Workshop on Description Logics (DL-2011)

種別: 会議論文集

著者・編者:
Rosati, Riccardo, 編集者
Rudolph, Sebastian, 編集者
Zakharyaschev, Michael, 編集者

所属:
-

出版社, 出版地: Aachen, Germany : CEUR Workshop Proceedings

ページ: - 巻号: - 通巻号: - 開始・終了ページ: 125 - 135 識別子（ISBN, ISSN, DOIなど）: -

出版物 2

表示:

非表示:

出版物名: CEUR Workshop Proceedings

種別: 連載記事

著者・編者:

所属:

出版社, 出版地: -

ページ: - 巻号: - 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: -

アイテム詳細

基本情報

ファイル

関連URL

作成者

内容説明

資料詳細

関連イベント

訴訟

Project information

出版物 1

出版物 2