756 search results - page 52 / 152 » Combining Rule and Ontology Reasoners for the Semantic Web |
122
click to vote
DLOG
2007
15 years 3 months ago
2007
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...
112
click to vote
LAWEB
2006
IEEE
15 years 7 months ago
2006
IEEE
This work describes an approach for the semi-automatic learning object metadata markup of course’s web pages and their posterior extraction into Scorm Packages. This is identifi...
119
click to vote
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
118
click to vote
AIM
2005
15 years 1 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...