158
click to vote
CALCO
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
167
Voted
ICFCA
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
126
click to vote
BIRTHDAY
2009
Springer
16 years 19 days ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...