402 search results - page 36 / 81 » Verification of Distributed Knowledge in Semantic Knowledge ... |
AO
2008
15 years 1 months ago
2008
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
122
click to vote
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
102
click to vote
PAKDD
1999
ACM
15 years 5 months ago
1999
ACM
Empirical equations are an important class of regularities that can be discovered in databases. In this paper we concentrate on the role of equations as de nitions of attribute val...
125
click to vote
ELPUB
2008
ACM
15 years 3 months ago
2008
ACM
ResearchinHumanitiesandSocialSciencesistraditionallybasedonprintedpublicationssuchasmanuscripts, personal correspondence, first editions and other types of documents which are oft...
124
click to vote
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...