Combining Description Logic and Defeasible Logic for the Semantic Web

Kewen Wang; David Billington; Jeff Blee; Grigoris Antoniou

doi:10.1007/978-3-540-30504-0_13

Combining Description Logic and Defeasible Logic for the Semantic Web

Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou

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

32 Citations (Scopus)

Abstract

The importance of integrating rules and ontologies for the Semantic Web has been well addressed by many researchers. Defeasible Logic is a simple but efficient nonmonotonic language which can handle both defeasibility and priority. In this paper we propose a novel approach to combining Defeasible Logic with Description Logics by introducing the Description Defeasible Logic (DDL). DDL is similar to Defeasible Logic but it also contains queries to the Description Logic knowledge base. DDL allows nonmonotonic reasoning to be built on top of ontologies, and to a certain degree, allows ontologies to be built on top of nonmonotonic reasoning. We give some basic properties of DDL, one of which shows that DDL is a tractable language provided that the underlying Description Logic is tractable.

Original language	English
Title of host publication	Rules and Rule Markup Languages for the Semantic Web
Subtitle of host publication	Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings
Editors	Grigoris Antoniou, Harold Boley
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	170-181
Number of pages	12
Volume	LNCS 3323
Edition	1st
ISBN (Electronic)	9783540305040
ISBN (Print)	3540238425, 9783540238423
DOIs	https://doi.org/10.1007/978-3-540-30504-0_13
Publication status	Published - 27 Oct 2004
Externally published	Yes
Event	3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web - Hiroshima, Japan Duration: 8 Nov 2004 → 8 Nov 2004 Conference number: 3

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Volume	3323 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web
Abbreviated title	RuleML 2004
Country/Territory	Japan
City	Hiroshima
Period	8/11/04 → 8/11/04

Access to Document

10.1007/978-3-540-30504-0_13Licence: Unspecified

Cite this

Wang, K., Billington, D., Blee, J., & Antoniou, G. (2004). Combining Description Logic and Defeasible Logic for the Semantic Web. In G. Antoniou, & H. Boley (Eds.), Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings (1st ed., Vol. LNCS 3323, pp. 170-181). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3323 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-30504-0_13

Wang, Kewen ; Billington, David ; Blee, Jeff et al. / Combining Description Logic and Defeasible Logic for the Semantic Web. Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. editor / Grigoris Antoniou ; Harold Boley. Vol. LNCS 3323 1st. ed. Berlin : Springer Verlag, 2004. pp. 170-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c77995a2188b484b86c8e43eea005520,

title = "Combining Description Logic and Defeasible Logic for the Semantic Web",

abstract = "The importance of integrating rules and ontologies for the Semantic Web has been well addressed by many researchers. Defeasible Logic is a simple but efficient nonmonotonic language which can handle both defeasibility and priority. In this paper we propose a novel approach to combining Defeasible Logic with Description Logics by introducing the Description Defeasible Logic (DDL). DDL is similar to Defeasible Logic but it also contains queries to the Description Logic knowledge base. DDL allows nonmonotonic reasoning to be built on top of ontologies, and to a certain degree, allows ontologies to be built on top of nonmonotonic reasoning. We give some basic properties of DDL, one of which shows that DDL is a tractable language provided that the underlying Description Logic is tractable.",

keywords = "Semantic Web, Defeasible Logic, Description Logic",

author = "Kewen Wang and David Billington and Jeff Blee and Grigoris Antoniou",

year = "2004",

month = oct,

day = "27",

doi = "10.1007/978-3-540-30504-0_13",

language = "English",

isbn = "3540238425",

volume = "LNCS 3323",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "170--181",

editor = "Grigoris Antoniou and Harold Boley",

booktitle = "Rules and Rule Markup Languages for the Semantic Web",

address = "Germany",

edition = "1st",

note = "3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML 2004 ; Conference date: 08-11-2004 Through 08-11-2004",

}

Wang, K, Billington, D, Blee, J & Antoniou, G 2004, Combining Description Logic and Defeasible Logic for the Semantic Web. in G Antoniou & H Boley (eds), Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. 1st edn, vol. LNCS 3323, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3323 LNCS, Springer Verlag, Berlin, pp. 170-181, 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan, 8/11/04. https://doi.org/10.1007/978-3-540-30504-0_13

Combining Description Logic and Defeasible Logic for the Semantic Web. / Wang, Kewen; Billington, David; Blee, Jeff et al.

Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. ed. / Grigoris Antoniou; Harold Boley. Vol. LNCS 3323 1st. ed. Berlin : Springer Verlag, 2004. p. 170-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3323 LNCS).

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

TY - GEN

T1 - Combining Description Logic and Defeasible Logic for the Semantic Web

AU - Wang, Kewen

AU - Billington, David

AU - Blee, Jeff

AU - Antoniou, Grigoris

N1 - Conference code: 3

PY - 2004/10/27

Y1 - 2004/10/27

N2 - The importance of integrating rules and ontologies for the Semantic Web has been well addressed by many researchers. Defeasible Logic is a simple but efficient nonmonotonic language which can handle both defeasibility and priority. In this paper we propose a novel approach to combining Defeasible Logic with Description Logics by introducing the Description Defeasible Logic (DDL). DDL is similar to Defeasible Logic but it also contains queries to the Description Logic knowledge base. DDL allows nonmonotonic reasoning to be built on top of ontologies, and to a certain degree, allows ontologies to be built on top of nonmonotonic reasoning. We give some basic properties of DDL, one of which shows that DDL is a tractable language provided that the underlying Description Logic is tractable.

AB - The importance of integrating rules and ontologies for the Semantic Web has been well addressed by many researchers. Defeasible Logic is a simple but efficient nonmonotonic language which can handle both defeasibility and priority. In this paper we propose a novel approach to combining Defeasible Logic with Description Logics by introducing the Description Defeasible Logic (DDL). DDL is similar to Defeasible Logic but it also contains queries to the Description Logic knowledge base. DDL allows nonmonotonic reasoning to be built on top of ontologies, and to a certain degree, allows ontologies to be built on top of nonmonotonic reasoning. We give some basic properties of DDL, one of which shows that DDL is a tractable language provided that the underlying Description Logic is tractable.

KW - Semantic Web

KW - Defeasible Logic

KW - Description Logic

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

U2 - 10.1007/978-3-540-30504-0_13

DO - 10.1007/978-3-540-30504-0_13

M3 - Conference contribution

AN - SCOPUS:77249111418

SN - 3540238425

SN - 9783540238423

VL - LNCS 3323

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 170

EP - 181

BT - Rules and Rule Markup Languages for the Semantic Web

A2 - Antoniou, Grigoris

A2 - Boley, Harold

PB - Springer Verlag

CY - Berlin

T2 - 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web

Y2 - 8 November 2004 through 8 November 2004

ER -

Wang K, Billington D, Blee J, Antoniou G. Combining Description Logic and Defeasible Logic for the Semantic Web. In Antoniou G, Boley H, editors, Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. 1st ed. Vol. LNCS 3323. Berlin: Springer Verlag. 2004. p. 170-181. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-30504-0_13

Combining Description Logic and Defeasible Logic for the Semantic Web

Abstract

Publication series

Workshop

Access to Document

Other files and links

Fingerprint

Cite this