1331 search results - page 64 / 267 » Description logic reasoning using the PTTP approach |
143
click to vote
DLOG
1996
15 years 7 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
178
click to vote
IEE
2008
15 years 6 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
211
click to vote
FROCOS
2009
Springer
16 years 21 days ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
174
click to vote
KIVS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
168
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...