488 search results - page 6 / 98 » Logic Programming to Address Issues of the Semantic Web |
100
Voted
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
84
Voted
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
115
click to vote
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
GCC
2003
Springer
15 years 4 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
125
click to vote
SEMCO
2008
IEEE
15 years 6 months ago
2008
IEEE
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...