A possibilistic extension of description logics

Guilin Qi*, Jeff Z. Pan, Qiu Ji

*Corresponding author for this work

Research output: Contribution to journalConference article

12 Citations (Scopus)

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 languageEnglish
Pages (from-to)435-442
Number of pages8
JournalCEUR Workshop Proceedings
Volume250
Publication statusPublished - 1 Dec 2007
Event20th International Workshop on Description Logics, DL 2007 - Brixen/Bressanone, Italy
Duration: 8 Jun 200710 Jun 2007

Fingerprint

Semantics
Uncertainty

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

A possibilistic extension of description logics. / Qi, Guilin; Pan, Jeff Z.; Ji, Qiu.

In: CEUR Workshop Proceedings, Vol. 250, 01.12.2007, p. 435-442.

Research output: Contribution to journalConference article

Qi, Guilin ; Pan, Jeff Z. ; Ji, Qiu. / A possibilistic extension of description logics. In: CEUR Workshop Proceedings. 2007 ; Vol. 250. pp. 435-442.
@article{eeea4530eada4b7db657a83dbf226621,
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 = "12",
day = "1",
language = "English",
volume = "250",
pages = "435--442",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

TY - JOUR

T1 - A possibilistic extension of description logics

AU - Qi, Guilin

AU - Pan, Jeff Z.

AU - Ji, Qiu

PY - 2007/12/1

Y1 - 2007/12/1

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.

UR - http://www.scopus.com/inward/record.url?scp=84872941626&partnerID=8YFLogxK

UR - https://pdfs.semanticscholar.org/3efb/50b3ae6152cc69a6c5a4400a6fb98bf4517a.pdf

UR - https://www.researchgate.net/publication/220957166_A_Possibilistic_Extension_of_Description_Logics

M3 - Conference article

VL - 250

SP - 435

EP - 442

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -