2845 search results - page 1 / 569 » Constraints over Ontologies |
CP
2003
Springer
13 years 10 months ago
2003
Springer
DLOG
2009
13 years 6 months ago
2009
Abstract. We present a family of expressive extensions of Datalog, called Datalog
SEFM
2009
IEEE
13 years 12 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
ICDE
2007
IEEE
14 years 6 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
ER
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...