Search Sciweavers | Sciweavers

2395 search results - page 53 / 479

» Reasoning in Semantic Wikis

click to vote

TPLP
2010

115views more TPLP 2010»

Towards closed world reasoning in dynamic open worlds

14 years 8 months ago

Download centria.di.fct.unl.pt

The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...

Martin Slota, João Leite

claim paper

Read More »

click to vote

ESWS
2007
Springer

246views Internet Technology» more ESWS 2007»

A BPMO Based Semantic Business Process Modelling Environment

15 years 1 months ago

Download www.wsmostudio.org

The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...

Marin Dimitrov, Alex Simov, Sebastian Stein, Mihai...

claim paper

Read More »

click to vote

DLOG
2009

131views Automated Reasoning» more DLOG 2009»

Quasi-Classical Semantics for Expressive Description Logics

14 years 7 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 »

click to vote

CADE
1992
Springer

131views Logical Reasoning» more CADE 1992»

An Improved Method for Adding Equality to Free Variable Semantic Tableaux

15 years 1 months ago

Download www.uni-koblenz.de

Tableau

Bernhard Beckert, Reiner Hähnle

claim paper