2035 search results - page 273 / 407 » On the complexity of stratified logics |
106
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
119
Voted
DEXAW
2008
IEEE
15 years 2 months ago
2008
IEEE
With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems. In ...
109
Voted
ECBS
2008
IEEE
15 years 2 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
150
Voted
AAAI
2010
15 years 2 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
102
Voted
AMW
2010
15 years 2 months ago
2010
We address the problem of answering conjunctive queries over knowledge bases, specified by sets of first-order sentences called tuple-generating dependencies (TGDs). This problem i...