871 search results - page 127 / 175 » The MathServe System for Semantic Web Reasoning Services |
180
click to vote
GPC
2010
Springer
16 years 17 days ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
173
Voted
ICLP
2007
Springer
15 years 10 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...
152
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Matchmaking will be an important component of future agent and agent-like systems, such as the semantic web. Most research on matchmaking has been directed toward sophisticated ma...
185
click to vote
WWW
2008
ACM
15 years 6 months ago
2008
ACM
This paper provides an overview on the synergies between social web and knowledge managemen, topics, program committee members as well as summary of accepted papers for the SWKM20...
197
Voted
IV
2009
IEEE
16 years 22 days ago
2009
IEEE
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...