811 search results - page 98 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
QUACON
2009
Springer
14 years 3 months ago
2009
Springer
Within the Geospatial Semantic Web, selecting a different ontology for a spatial data set will enable that data’s analysis in a different context. Analyses of multiple data sets,...
AI
2008
Springer
13 years 7 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
SAC
2006
ACM
13 years 9 months ago
2006
ACM
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...