786 search results - page 83 / 158 » Description Logics in Ontology Applications |
ICCAD
1996
IEEE
14 years 1 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents our first participation in the OAEI 2007 campaign. It describes an approach to align taxonomies which relies on terminological and structural techniques applie...
JAPLL
2007
13 years 8 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
WISE
2008
Springer
14 years 3 months ago
2008
Springer
This paper presents an Ontology-based approach for dealing with guidelines concerning the usability and the accessibility of Web applications. We report an ontology which provides ...
ICALT
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent developments in E-Learning systems aim at providing a better support for didactics-aware learning scenarios. Typically, in order to provide that support the number and comp...