476 search results - page 32 / 96 » Inconsistency-Tolerant Semantics for Description Logics |
131
click to vote
JELIA
2010
Springer
15 years 6 hour ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
129
click to vote
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
123
click to vote
MEMOCODE
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
110
Voted
DLOG
2009
14 years 11 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
140
click to vote
ADC
2006
Springer
15 years 7 months ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...