1435 search results - page 106 / 287 » Description Logics |
133
click to vote
JAPLL
2006
15 years 3 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
105
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
121
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
183
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
134
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...