427 search results - page 4 / 86 » e-Service Composition by Description Logics Based Reasoning |
DLOG
2007
13 years 10 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...
JAIR
1998
13 years 8 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
DLOG
2006
13 years 9 months ago
2006
KR
2000
Springer
14 years 4 hour ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...