Sciweavers

1178 search results - page 54 / 236
» An Approach to Exploring Description Logic Knowledge Bases
Sort
View
AI
2010
Springer
15 years 3 months ago
Argumentation-Based Reasoning with Inconsistent Knowledge Bases
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
Xiaowang Zhang, Zhihu Zhang, Dai Xu, Zuoquan Lin
CADE
2008
Springer
16 years 4 days ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
DLOG
2008
15 years 2 months ago
Planning of Axiom Absorption
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
Jiewen Wu, Volker Haarslev
ECML
1991
Springer
15 years 3 months ago
A Multistrategy Learning Approach to Domain Modeling and Knowledge Acquisition
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...
Gheorghe Tecuci
BIRTHDAY
2010
Springer
14 years 10 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein