82 search results - page 17 / 17 » Datalog and Description Logics: Expressive Power |
TITB
2002
13 years 5 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
ASWSD
2004
Springer
13 years 10 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...