DFL - A dialog based integration of concept and rule reasoners

Data and Knowledge Engineering

Volumn 38, Issue 3, 2001, Pages 301-334

  Balaban, Mira ^a,b   Eyal, Adi ^a  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b Carnegie Mellon University   (United States)

Author keywords

Closed world reasoning; Compositional semantics; Description logics; F Logic; Integrated systems; Object oriented systems; Open world reasoning; Rule base

Indexed keywords

FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; SEMANTICS;

CLOSED WORLD REASONING; DESCRIPTION LOGICS; OPEN WORLD REASONING;

KNOWLEDGE REPRESENTATION;

EID: 0035445246     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(01)00032-5     Document Type: Article

References (63)

1. Spatial reasoning for image retrieval
2. Reasoning with enhanced temporal entity-relationship models
3. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles
4. A schema for integrating concrete domains into concept languages
5. A terminological knowledge representation system with complete inference algorithm
6. How to prefer more specific defaults in terminological default logic
7. The f-logic approach for description languages
8. Rewriting queries using views in description logics
9. Terminological logics for schema design and query processing in oodbs
10. Classic: A structural data model for objects
11. The s-semantics approach: Theory and applications
12. An essential hybrid reasoning system: Knowledge and symbol level accounts of krypton
13. Competence in knowledge representation
14. An overview of the kl-one knowledge representation system
15. Implementing and testing expressive description logics: A preliminary report
16. Terminological systems revisited: Terminology= schema+views
17. Answering queries using views in description logics
18. A unified framework for class-based representation formalisms
19. Description logics for conceptual data modeling
20. A description logic for reasoning with behavioral knowledge
21. Icarus: Intelligent classification and retrieval of unlabelled scenes
22. A hybrid system with datalog and concept languages
23. Reasoning in description logics
24. An epistemic operator for description logics
25. The semantics of predicate logic as a programming language
26. Applying dls for retrieval in cased-based reasoning
27. Spatioterminological reasoning: Subsumption based on geometrical inferences
28. Subsumption algorithms for concept description languages
29. A description logic based schema for the classification of medical data
30. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme
31. Logical foundations of object-oriented and frame-based languages
32. Theory of generalized annotated logic programming and its applications
33. Expressiveness and tractability in knowledge representation and reasoning
34. The limits on combining recursive horn rules and description logics
35. The evolving technology of classification-based knowledge representation systems
36. Computational complexity of terminological reasoning in back
37. Terminological reasoning is inherently intractable
38. Undecidability of subsumption in nikl
39. Towards expressive kr systems integrating datalog and description logics: Preliminary report
40. Subsumption in kl-one is undecidable
41. Attributive concept descriptions with complements
42. A non-clausal connection-graph resolution theorem proving program
43. Amalgamating knowledge bases
44. Old resolution with tabulation
45. Understanding subsumption and taxonomy: A framework for progress
46. The kl-one family
47. Memoing evaluation by source-to-source transformation