34 search results - page 3 / 7 » Embedding Defaults into Terminological Knowledge Representat... |
APIN
2006
13 years 7 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
IJCAI
2003
13 years 9 months ago
2003
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
JODS
2006
13 years 7 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...