Sciweavers

1436 search results - page 25 / 288
» Description Logic Unplugged
Sort
View
143
Voted
ECSQARU
2009
Springer
15 years 8 months ago
Realizing Default Logic over Description Logic Knowledge Bases
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
133
Voted
JELIA
2010
Springer
15 years 10 days ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
DLOG
2007
15 years 4 months ago
Exploiting Description Logic Reasoners in Inductive Logic
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
Francesca A. Lisi
95
Voted
ICWE
2004
Springer
15 years 7 months ago
Description Logics Reasoning in Web-based Education Environments
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
Nenad Krdzavac, Dragan Gasevic, Vladan Devedzic