156 search results - page 9 / 32 » Quasi-Classical Semantics for Expressive Description Logics |
77
Voted
KI
2007
Springer
15 years 3 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
DLOG
2007
14 years 12 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...
85
Voted
BPM
2006
Springer
15 years 1 months ago
2006
Springer
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
108
click to vote
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
196
click to vote
ICDE
1997
IEEE
15 years 11 months ago
1997
IEEE
2. ODB-QOPTIMIZER : the tool ODB-QOPTIMIZERis a ODMG 93 compliant tool for the schema validation and semantic query optimization. The approach is based on two fundamental ingredien...