Sciweavers

CALCO
2009
Springer
166views Mathematics» more  CALCO 2009»
13 years 10 months ago
Distributive Lattice-Structured Ontologies
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...
Hans Bruun, Dion Coumans, Mai Gehrke
ICFCA
2009
Springer
13 years 10 months ago
Usability Issues in Description Logic Knowledge Base Completion
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...
Franz Baader, Baris Sertkaya
BIRTHDAY
2009
Springer
13 years 10 months ago
A Semantical Account of Progression in the Presence of Defaults
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...
Gerhard Lakemeyer, Hector J. Levesque

Book
343views
15 years 1 months ago
Information Modeling
A classic book about information modeling.
David Edmond