1545 search results - page 128 / 309 » Defeasible Description Logics |
88
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
91
Voted
JNCA
2007
15 years 19 days ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
103
Voted
LOGCOM
2006
15 years 21 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
88
Voted
ACL
2004
15 years 2 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
102
click to vote
JAPLL
2010
14 years 11 months ago
2010
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...