5122 search results - page 154 / 1025 » Comparing Consequence Relations |
132
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...
129
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
235
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Ontologies are increasingly used to represent the intended real-world semantics of data and services in information systems. Unfortunately, different data sources often do not rel...
117
click to vote
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Ontologies are increasingly used to represent the intended real-world semantics of data and services in information systems. Unfortunately, different databases often do not relate ...
131
Voted
ICCD
2002
IEEE
16 years 12 days ago
2002
IEEE
Power is considered to be the major limiter to the design of more faster and complex processors in the near future. In order to address this challenge, a combination of process, c...