A Possibilistic Extension of Description Logics

Guilin Qi; Jeff Z Pan; Qiu Ji

A Possibilistic Extension of Description Logics

Guilin Qi, Jeff Z Pan, Qiu Ji

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are implemented using KAON2 reasoner.

Original language	English
Title of host publication	Proceedings of the 2007 International Workshop on Description Logics (DL2007)
Editors	Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris
Publisher	CEUR-WS.org
Number of pages	8
Publication status	Published - 28 May 2007
Event	20th International Workshop on Description Logics - Brixen-Bressanone, Italy Duration: 8 Jun 2007 → 10 Jun 2007 Conference number: 20 http://dl.kr.org/dl2007/

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS.org
Volume	250
ISSN (Electronic)	1613-0073

Workshop

Workshop	20th International Workshop on Description Logics
Abbreviated title	DL 2007
Country/Territory	Italy
City	Brixen-Bressanone
Period	8/06/07 → 10/06/07
Internet address	http://dl.kr.org/dl2007/

Access to Document

http://ceur-ws.org/Vol-250/paper_23.pdfLicence: All Rights Reserved

Cite this

@inproceedings{760546f6ec86493aa9957d5bc088f406,

title = "A Possibilistic Extension of Description Logics",

abstract = "Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are implemented using KAON2 reasoner.",

author = "Guilin Qi and Pan, {Jeff Z} and Qiu Ji",

year = "2007",

month = may,

day = "28",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

editor = "Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris",

booktitle = "Proceedings of the 2007 International Workshop on Description Logics (DL2007)",

note = "20th International Workshop on Description Logics, DL 2007 ; Conference date: 08-06-2007 Through 10-06-2007",

url = "http://dl.kr.org/dl2007/",

}

Qi, G, Pan, JZ & Ji, Q 2007, A Possibilistic Extension of Description Logics. in D Calvanese, E Franconi, V Haarslev, D Lembo, B Motik, A-Y Turhan & S Tessaris (eds), Proceedings of the 2007 International Workshop on Description Logics (DL2007)., 23, CEUR Workshop Proceedings, vol. 250, CEUR-WS.org, 20th International Workshop on Description Logics, Brixen-Bressanone, Italy, 8/06/07. <http://ceur-ws.org/Vol-250/paper_23.pdf>

A Possibilistic Extension of Description Logics. / Qi, Guilin; Pan, Jeff Z; Ji, Qiu.
Proceedings of the 2007 International Workshop on Description Logics (DL2007). ed. / Diego Calvanese; Enrico Franconi; Volker Haarslev; Domenico Lembo; Boris Motik; Anni-Yasmin Turhan; Sergio Tessaris. CEUR-WS.org, 2007. 23 (CEUR Workshop Proceedings; Vol. 250).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Possibilistic Extension of Description Logics

AU - Qi, Guilin

AU - Pan, Jeff Z

AU - Ji, Qiu

N1 - Conference code: 20

PY - 2007/5/28

Y1 - 2007/5/28

N2 - Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are implemented using KAON2 reasoner.

AB - Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are implemented using KAON2 reasoner.

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - Proceedings of the 2007 International Workshop on Description Logics (DL2007)

A2 - Calvanese, Diego

A2 - Franconi, Enrico

A2 - Haarslev, Volker

A2 - Lembo, Domenico

A2 - Motik, Boris

A2 - Turhan, Anni-Yasmin

A2 - Tessaris, Sergio

PB - CEUR-WS.org

T2 - 20th International Workshop on Description Logics

Y2 - 8 June 2007 through 10 June 2007

ER -

A Possibilistic Extension of Description Logics

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this