2381 search results - page 139 / 477 » On Ordering Descriptions in a Description Logic |
127
click to vote
TCS
2008
15 years 1 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
130
Voted
RCC
2002
15 years 1 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
106
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
126
Voted
EON
2008
15 years 3 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
121
Voted
JWSR
2007
15 years 1 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...