Sciweavers

596 search results - page 5 / 120
» Integrated Distributed Description Logics
Sort
View
ASP
2003
Springer
15 years 2 months ago
Integrating Semantic Web Reasoning and Answer Set Programming
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
Stijn Heymans, Dirk Vermeir
AIMSA
2008
Springer
15 years 4 months ago
Mapping Properties of Heterogeneous Ontologies
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
Chiara Ghidini, Luciano Serafini
ICWE
2010
Springer
14 years 11 months ago
Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments
Model-based approaches for interactive Web applications have neglected vocal interaction. However, ubiquitous multi-device environments call for better support for such modality. I...
Fabio Paternò, Christian Sisti
BIRTHDAY
2005
Springer
15 years 3 months ago
Description Logics as Ontology Languages for the Semantic Web
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
Franz Baader, Ian Horrocks, Ulrike Sattler
DLOG
2007
14 years 12 months ago
Exploiting Conjunctive Queries in Description Logic Programs
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
Thomas Eiter, Giovambattista Ianni, Thomas Krennwa...