476 search results - page 48 / 96 » Inconsistency-Tolerant Semantics for Description Logics |
BIRTHDAY
1991
Springer
15 years 5 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
131
click to vote
AIIA
2007
Springer
15 years 7 months ago
2007
Springer
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
123
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
117
click to vote
APN
2001
Springer
15 years 5 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
128
click to vote
IEEEHPCS
2010
15 years 3 days ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...