108 search results - page 2 / 22 » Finite Model Reasoning in DL-Lite |
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
DLOG
2007
13 years 12 months ago
2007
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
CADE
2006
Springer
14 years 10 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...