1435 search results - page 145 / 287 » Description Logics |
122
click to vote
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
140
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
122
click to vote
DLOG
2007
15 years 6 months ago
2007
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
117
click to vote
DLOG
2008
15 years 6 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
140
Voted
FOIS
2006
15 years 5 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...