451 search results - page 13 / 91 » Temporal Classes and OWL |
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
111
click to vote
ADBIS
2009
Springer
15 years 4 months ago
2009
Springer
Data classification is usually based on measurements recorded at the same time. This paper considers temporal data classification where the input is a temporal database that descri...
126
Voted
AICS
2009
14 years 10 months ago
2009
This paper reports research on Spanish temporal expressions. The analyzed phrases include a common temporal expression for a period of years reinforced by an adverb of time. We fou...
JAIR
2008
15 years 11 days ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
140
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...