Sciweavers

451 search results - page 6 / 91
» Temporal Classes and OWL
Sort
View
ADC
2006
Springer
142views Database» more  ADC 2006»
15 years 6 months ago
An optimization for query answering on ALC database
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
Pakornpong Pothipruk, Guido Governatori
CIA
2006
Springer
15 years 4 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
85
Voted
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 12 days ago
The complexity of linear-time temporal logic over the class of ordinals
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
Stéphane Demri, Alexander Rabinovich
COLING
2008
15 years 1 months ago
Integrating Motion Predicate Classes with Spatial and Temporal Annotations
We propose a spatio-temporal markup for the annotation of motion predicates in text, informed by a lexical semantic classification of these verbs. We incorporate this classificati...
James Pustejovsky, Jessica L. Moszkowicz
AAAI
2006
15 years 1 months ago
Tractable Classes of Metric Temporal Problems with Domain Rules
In this paper, we will deal with some important kinds of metric temporal reasoning problems that arise in many real-life situations. In particular, events X0, X1 . . . XN are mode...
T. K. Satish Kumar