2381 search results - page 138 / 477 » On Ordering Descriptions in a Description Logic |
126
click to vote
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
123
Voted
KRMED
2004
15 years 3 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
130
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
113
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
107
Voted
DLOG
2003
15 years 3 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...