633 search results - page 24 / 127 » A Semantic Basis for Quest |
JODS
2006
13 years 7 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
DEBU
2002
13 years 7 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
IWINAC
2009
Springer
14 years 2 months ago
2009
Springer
The increasingly huge volume of financial information found in a number of heterogeneous business sources is characterized by unstructured content, disparate data models and impli...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Current information retrieval (IR) approaches do not formally capture the explicit meaning of a keyword query but provide a comfortable way for the user to specify information need...