2705 search results - page 196 / 541 » Formal Ontology for Subject |
DLOG
2007
13 years 10 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...
DILS
2008
Springer
13 years 10 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we introduce a formal email workflow model based on traditional email, which enables the user to define and execute ad-hoc workflows in an intuitive way. This model ...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...