Search Sciweavers | Sciweavers

1285 search results - page 46 / 257

» Description Logic Reasoner: System Description

138

click to vote

DLOG
2010

134views Automated Reasoning» more DLOG 2010»

Paraconsistent Description Logics Revisited

14 years 11 months ago

Download www.cs.uwaterloo.ca

Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...

Norihiro Kamide

claim paper

Read More »

118

click to vote

DLOG
2009

131views Automated Reasoning» more DLOG 2009»

Quasi-Classical Semantics for Expressive Description Logics

14 years 11 months ago

Download www.is.pku.edu.cn

Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...

Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin

claim paper

Read More »

157

click to vote

ICWS
2004
IEEE

121views Internet Technology» more ICWS 2004»

Logic-based Web Services Composition: From Service Description to Process Model

15 years 2 months ago

Download www.cs.cmu.edu

This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...

Jinghai Rao, Peep Küngas, Mihhail Matskin

claim paper

Read More »

click to vote

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

On the Semantics of Epistemic Description Logics

15 years 2 months ago