lexicographical inference over inconsistent dl-based ontologies

	lexicographical inference over inconsistent dl-based ontologies
	Du Jianfeng; Qi Guilin; Shen Yi-Dong
	2008
会议名称	2nd International Conference on Web Reasoning and Rule Systems
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	58-73
会议日期	OCT 31-NOV
会议地点	Karlsruhe, GERMANY
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	WEB REASONING AND RULE SYSTEMS, PROCEEDINGS
ISSN	0302-9743
ISBN	978-3-540-88736-2
部门归属	Du, Jianfeng; Shen, Yi-Dong Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China.
摘要	Logical inconsistency may often occur throughout the development stage of a DL-based ontology. We apply the lexicographic inference to reason over inconsistent DL-based ontologies without repairing them first. We address the problem of checkin
关键词	Decision Theory
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10596
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Du Jianfeng,Qi Guilin,Shen Yi-Dong. lexicographical inference over inconsistent dl-based ontologies[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:WEB REASONING AND RULE SYSTEMS, PROCEEDINGS,2008:58-73.