38 Einträge gefunden

1. Expressive Description Logics for Agent-Based Information Retrieval

   1. Möller, R.
   2. Haarslev, V.
   3. Neumann, B.

   2004 - Forschungsinformationssystem der UHH
2. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics

   1. Haarslev, V.
   2. Möller, R.
   3. Turhan, A.-Y.

   2001 - Forschungsinformationssystem der UHH
3. Combining Cardinal Direction Relations and Relative Orientation Relations in Qualitative Spatial Reasoning

   1. Isli, A.
   2. Haarslev, V.
   3. Möller, Ralf

   2001 - Forschungsinformationssystem der UHH - frei zugänglich
4. Optimizing Reasoning in Description Logics with Qualified Number Restrictions

   1. Haarslev, V.
   2. Möller, R.

   2001 - Forschungsinformationssystem der UHH - frei zugänglich
5. Description of the RACER System and its Applications

   1. Haarslev, V.
   2. Möller, R.

   2001 - Forschungsinformationssystem der UHH - frei zugänglich
6. RACER System Description

   1. Haarslev, V.
   2. Möller, R.

   2001 - Forschungsinformationssystem der UHH
7. Visual Spatial Query Languages: A Semantics Using Description Logic

   1. Haarslev, V.
   2. Möller, R.
   3. Wessel, M.

   2001 - Forschungsinformationssystem der UHH
8. The description logic ALCNHR+ extended with concrete domains: A practically motivated approach

   1. Haarslev, V.
   2. Möller, R.
   3. Wessel, M.

   2001 - Forschungsinformationssystem der UHH
9. RACER User's Guide and Reference Manual Version 1.6

   1. Haarslev, V.
   2. Möller, R.

   2001 - Forschungsinformationssystem der UHH - frei zugänglich
10. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

    1. Haarslev, V.
    2. Timmann, M.
    3. Möller, R.

    2001 - Forschungsinformationssystem der UHH - frei zugänglich
11. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

    1. Haarslev, V.
    2. Timmann, M.
    3. Möller, R.

    2001 - Forschungsinformationssystem der UHH - frei zugänglich
12. Optimizing TBox and ABox Reasoning with Pseudo Models

    1. Haarslev, V.
    2. Möller, R.

    2000 - Forschungsinformationssystem der UHH - frei zugänglich
13. ALCRA -- ALC with Role Axioms

    1. Wessel, M.
    2. Haarslev, V.
    3. Möller, R.

    2000 - Forschungsinformationssystem der UHH
14. The Description Logic ALCNHR+ Extended with Concrete Domains

    1. Haarslev, V.
    2. Möller, R.
    3. Wessel, M.

    2000 - Forschungsinformationssystem der UHH - frei zugänglich
15. Consistency testing: The RACE experience

    1. Haarslev, V.
    2. Möller, R.

    2000 - Forschungsinformationssystem der UHH
16. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

    1. Haarslev, V.
    2. Möller, R.

    2000 - Forschungsinformationssystem der UHH
17. High Performance Reasoning with Very Large Knowledge Bases

    1. Haarslev, V.
    2. Möller, R.

    2000 - Forschungsinformationssystem der UHH - frei zugänglich
18. An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics

    1. Haarslev, V.
    2. Möller, R.

    1999 - Forschungsinformationssystem der UHH
19. Applying an ALC ABox consistency tester to modal logic SAT problems

    1. Haarslev, V.
    2. Möller, R.

    1999 - Forschungsinformationssystem der UHH
20. RACE User's Guide and Reference Manual Version 1.1

    1. Haarslev, V.
    2. Möller, R.
    3. Turhan, A.-Y.

    1999 - Forschungsinformationssystem der UHH