Search Sciweavers | Sciweavers

674 search results - page 15 / 135

» Numeric reasoning in the Semantic Web

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 15 days 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 »

click to vote

RULEML
2004
Springer

110views Internet Technology» more RULEML 2004»

Combining Rule and Ontology Reasoners for the Semantic Web

15 years 5 months ago

Download www.med.univ-rennes1.fr

Christine Golbreich

claim paper

Read More »

click to vote

ATAL
2003
Springer

100views Intelligent Agents» more ATAL 2003»

Towards practical reasoning agents for the semantic web

15 years 5 months ago

Download www.hpl.hp.com

Ian Dickinson, Michael Wooldridge

claim paper

Read More »

click to vote

FLAIRS
2008

81views Artificial Intelligence» more FLAIRS 2008»

Temporal Representation and Reasoning for the Semantic Web

15 years 2 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers