Search

Your search keyword '"Description logics"' showing total 89 results

Search Constraints

Start Over You searched for: Descriptor "Description logics" Remove constraint Descriptor: "Description logics" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
89 results on '"Description logics"'

Search Results

4. On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers

5. Rule Revision in Normal DL Logic Programs

6. Towards an Error-Tolerant Construction of -Ontologies from Data Using Formal Concept Analysis

11. Scalable Geo-thematic Query Answering

12. A Labanotation Based Ontology for Representing Dance Movement

13. Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics

14. Operations over Lightweight Ontologies

15. Ontological Re-classification of Individuals: A Multi-viewpoints Approach

16. Reasoning and Query Answering in Description Logics

17. Probabilistic Reasoning in DL-Lite

18. Using (D) to Formalize Semantics within a Semantic Decision Table

19. Querying a Semi-automated Data Integration System

20. Logical Difference Computation with CEX2.5

24. Defining and Analysing Resource Assignments in Business Processes with RAL

25. Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules

26. Modeling Design Patterns with Description Logics: A Case Study

28. Implementing Automated Robot Task Planning and Execution Based on Description Logic KB

29. Complementarity in Competence Management: Framework and Implementation

30. Full Satisfiability of UML Class Diagrams

31. A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules

32. Dynamic Reasoning for Description Logic Terminologies

33. Extracting Chemical Reactions from Thai Text for Semantics-Based Information Retrieval

34. A Strategy to Revise the Constraints of the Mediated Schema

35. Automatic Generation of P2P Mappings between Sources Schemas

36. Decidability of with Transitive Closure of Roles

37. μOR – A Micro OWL DL Reasoner for Ambient Intelligent Devices

38. Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web

39. Rule-Based Approaches for Representing Probabilistic Ontology Mappings

40. An Approach to Probabilistic Data Integration for the Semantic Web

46. A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration

47. Rule Definition for Managing Ontology Development

48. An Ontology-Based Approach for Modelling Architectural Styles

Catalog

Books, media, physical & digital resources