1087 search results - page 1 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
100
Voted
DLOG
2007
15 years 1 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
90
Voted
CADE
2001
Springer
15 years 11 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
83
Voted
OWLED
2007
15 years 10 days ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
87
Voted
DLOG
2003
15 years 9 days ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
95
Voted
DLOG
2000
15 years 8 days ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...