672 search results - page 16 / 135 » On the Expressive Power of the Loop Language |
147
click to vote
RWEB
2010
Springer
15 years 8 days ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
111
Voted
COLING
1996
15 years 3 months ago
1996
Abstract: Before engaging in a conversation, a message must be planned. While there are many ways to perform this task, I believe that people do this in the following way, in parti...
111
Voted
WWW
2008
ACM
16 years 2 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
136
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...