811 search results - page 93 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
ESWS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
DILS
2008
Springer
13 years 11 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...
AI
2004
Springer
13 years 9 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
DLOG
2003
13 years 10 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...