828 search results - page 41 / 166 » On Order Dependencies for the Semantic Web |
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
123
click to vote
SDM
2012
SIAM
13 years 3 days ago
2012
SIAM
Objects linking with many other objects in an information network may imply various semantic relationships. Uncovering such knowledge is essential for role discovery, data cleanin...
IJMTM
2007
14 years 9 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
SETN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we are dealing with the task of adding domainspecific semantic tags to a document, based solely on the domain ontology and generic lexical and Web resource...
LAWEB
2004
IEEE
14 years 11 months ago
2004
IEEE
Model-based design methods, and model-based architectures, have gained adoption in authoring applications for the WWW. This is further reinforced by the increasing visibility of t...