616 search results - page 35 / 124 » Bounded Model Checking with Description Logic Reasoning |
DLOG
2003
13 years 10 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
AAAI
2008
13 years 11 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
ICTAI
2008
IEEE
14 years 3 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
DLOG
2008
13 years 11 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...