1746 search results - page 26 / 350 » A Constructive Semantics for ALC |
117
click to vote
SEBD
2008
15 years 3 months ago
2008
Collaborative information systems in a P2P scenario are characterized by a set of independent peers that dynamically need to cooperate by sharing data and services. For effective c...
141
click to vote
KR
2010
Springer
15 years 6 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...
119
click to vote
JAPLL
2010
15 years 12 days ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
130
click to vote
NMELP
1994
15 years 6 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
113
click to vote
IJMSO
2010
15 years 12 days ago
2010
: Search is probably the most frequent activity on the Web. Yet it is not effortless, mainly due to heterogeneous information resources. Semantic search is a means to tackle the pr...