756 search results - page 74 / 152 » Combining Rule and Ontology Reasoners for the Semantic Web |
115
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Current industry standards for describing Web Services are focused on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the u...
123
click to vote
ICAIL
2009
ACM
15 years 8 months ago
2009
ACM
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...
125
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
For the past two years the Moving Pictures Expert Group (MPEG), a working group of ISO/IEC, have been developing MPEG-7 [1], the "Multimedia Content Description Interface"...
115
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
127
click to vote
AMR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents Prospector, an adaptive meta-search layer, which performs personalized re-ordering of search results. Prospector combines elements from two approaches to adapti...