619 search results - page 55 / 124 » Paraconsistent Reasoning for the Semantic Web |
RULEML
2005
Springer
15 years 5 months ago
2005
Springer
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
114
click to vote
DLOG
2007
15 years 2 months ago
2007
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...
111
click to vote
KIVS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
CADE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The Semantic Web is becoming more and more a reality, as the required technologies have reached an appropriate level of maturity. However, at this stage, it is important to provid...