3793 search results - page 186 / 759 » Expressive Description Logics |
246
click to vote
ICWS
2004
IEEE
15 years 8 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...
214
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a novel method integrating gene-gene interaction information and Gene Ontology for the construction of new gene sets that are potentially enriched. Enrichment o...
177
click to vote
ICTAC
2007
Springer
16 years 1 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
347
click to vote
ACST
2006
15 years 8 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...
172
click to vote
ENTCS
2008
15 years 7 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...