427 search results - page 33 / 86 » e-Service Composition by Description Logics Based Reasoning |
134
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
154
click to vote
LOPSTR
1998
Springer
15 years 8 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
123
click to vote
IJCAI
2007
15 years 5 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
122
click to vote
BIOTECHNO
2008
IEEE
15 years 11 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
170
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...