780 search results - page 80 / 156 » Compositional Quantitative Reasoning |
116
Voted
DLOG
1996
15 years 2 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
123
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
97
Voted
AUSAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
92
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
117
Voted
PPSWR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...