4573 search results - page 188 / 915 » Automated Reasoning |
137
Voted
DLOG
2000
15 years 5 months 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...
127
Voted
DLOG
2009
15 years 1 months ago
2009
We study the problem of reasoning over weighted ontologies. We assume that every axiom is labeled with an element of a distributive lattice (called its weight) and try to compute i...
113
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
132
Voted
KR
2000
Springer
15 years 7 months 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...
188
Voted
UKCBR
1995
15 years 7 months ago
1995
In the near future, a potentially huge number of telecommunication services will be available to the public. Information about these services will be sto...