1836 search results - page 222 / 368 » Hierarchies for semantic classes |
182
Voted
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...
171
click to vote
LICS
2005
IEEE
16 years 18 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
174
click to vote
ECSQARU
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
154
click to vote
EGOV
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we present some results of an ongoing research involving the design and implementation, in an eGovernment scenario, of a multi-version repository of norm texts suppo...
178
Voted
ICCS
2005
Springer
16 years 16 days ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...