145 search results - page 16 / 29 » Formal Description of Resources for Ontology-based Semantic ... |
161
click to vote
AINA
2005
IEEE
15 years 11 months ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
228
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
246
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
165
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
We present a novel resource discovery framework for u-commerce. Both the original RFID data exchange protocol and the Bluetooth Service Discovery Protocol have been extended in or...
183
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...