Search Sciweavers | Sciweavers

674 search results - page 15 / 135

» Numeric reasoning in the Semantic Web

155

click to vote

WWW
2008
ACM

158views Internet Technology» more WWW 2008»

A logical framework for modeling and reasoning about semantic web services contract

16 years 6 months ago

Download www2008.org

In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...

Hai Liu, Qing Li, Naijie Gu, An Liu

claim paper

Read More »

139

click to vote

RULEML
2004
Springer

110views Internet Technology» more RULEML 2004»

Combining Rule and Ontology Reasoners for the Semantic Web

15 years 10 months ago

Download www.med.univ-rennes1.fr

Christine Golbreich

claim paper

Read More »

124

click to vote

ATAL
2003
Springer

100views Intelligent Agents» more ATAL 2003»

Towards practical reasoning agents for the semantic web

15 years 10 months ago

Download www.hpl.hp.com

Ian Dickinson, Michael Wooldridge

claim paper

Read More »

124

click to vote

FLAIRS
2008

81views Artificial Intelligence» more FLAIRS 2008»

Temporal Representation and Reasoning for the Semantic Web

15 years 7 months ago

Download www.aaai.org

Sebastian Hübner, Ubbo Visser

claim paper

Read More »

click to vote

SPLC
2008

118views Software Engineering» more SPLC 2008»

Semantic Web Services-based Reasoning in the Design of Software Product Lines

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers