2414 search results - page 352 / 483 » Reasoning Support for OWL-E |
190
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
199
click to vote
FOAL
2008
ACM
15 years 9 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
214
Voted
DGO
2007
15 years 9 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
245
click to vote
DGO
2007
15 years 9 months ago
2007
We present D-HOTM, a framework for Distributed Higher Order Text Mining based on named entities extracted from textual data that are stored in distributed relational databases. Unl...
157
click to vote
LREC
2010
15 years 9 months ago
2010
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...