1331 search results - page 152 / 267 » Description logic reasoning using the PTTP approach |
167
click to vote
WEBI
2007
Springer
16 years 16 days ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
167
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
184
click to vote
ICLP
1993
Springer
15 years 10 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
201
click to vote
ILP
2004
Springer
15 years 11 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
178
click to vote
OWLED
2007
15 years 7 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...