2381 search results - page 110 / 477 » On Ordering Descriptions in a Description Logic |
158
click to vote
ICWS
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
CORR
1998
Springer
15 years 1 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
119
click to vote
ML
2006
ACM
15 years 1 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
111
click to vote
CSLP
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...
151
click to vote
LAWEB
2009
IEEE
15 years 8 months ago
2009
IEEE
— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...