1746 search results - page 52 / 350 » A Constructive Semantics for ALC |
135
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
165
click to vote
SEMWEB
2011
Springer
14 years 6 months ago
2011
Springer
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...
125
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
Semantic Web technologies are bring increasingly employed to solve knowledge management issues in traditional Web technologies. This paper follows that trend and proposes using Se...
120
click to vote
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Although a wide range of medical ontologies has already been deployed in the last decade, most of them follow design principles different to those required by Semantic Web applica...
151
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...