188 search results - page 34 / 38 » Approaches to Inconsistency Handling in Description-Logic Ba... |
OWLED
2008
13 years 8 months ago
2008
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
CA
2002
IEEE
14 years 10 days ago
2002
IEEE
This paper presents a new method for editing an existing motion to satisfy a set of user-specified constraints, and in doing so guaranteeing the kinematic and dynamic soundness o...
INFFUS
2006
13 years 7 months ago
2006
In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports [Hun00, Hun02b, Hun02a, HS03, HS04]. Structured news report...
JOT
2008
13 years 7 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...