Sciweavers

2395 search results - page 139 / 479
» Reasoning in Semantic Wikis
Sort
View
JUCS
2008
172views more  JUCS 2008»
15 years 4 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
DLOG
2007
15 years 6 months ago
A Possibilistic Extension of Description Logics
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
Guilin Qi, Jeff Z. Pan, Qiu Ji
DLOG
2007
15 years 6 months ago
Description Logic vs. Order-Sorted Feature Logic
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
Hassan Aït-Kaci
DLOG
2008
15 years 6 months ago
Distributed Resolution for ALC
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...
Anne Schlicht, Heiner Stuckenschmidt
ER
2006
Springer
158views Database» more  ER 2006»
15 years 8 months ago
Database to Semantic Web Mapping Using RDF Query Languages
One of the main drawbacks of the Semantic Web is the lack of semantically rich data, since most of the information is still stored in relational databases. In this paper, we presen...
Cristian Pérez de Laborda, Stefan Conrad