2381 search results - page 161 / 477 » On Ordering Descriptions in a Description Logic |
102
click to vote
ARITH
2009
IEEE
15 years 8 months ago
2009
IEEE
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open and largely unsolved problem, espec...
102
click to vote
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
105
click to vote
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
143
click to vote
AI
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
156
click to vote
FMLDO
2000
Springer
15 years 5 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...