2661 search results - page 182 / 533 » A Semantics for Abstraction |
162
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
173
click to vote
AUSAI
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
191
click to vote
ESWS
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. In this paper we describe a methodology for harvesting information from large distributed repositories (e.g. large Web sites) with minimum user intervention. The methodol...
120
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes the design and implementation of Bibster, a Peer-to-Peer system for exchanging bibliographic data among researchers. Bibster exploits ontologies in d...
181
click to vote
WAIM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Most users of the WWW want their searches to be effective. Currently, there exists a wide variety of efficient syntactic tools that have can be used for search in the WWW...