37 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. 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
3. 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
4. Visual Spatial Query Languages: A Semantics Using Description Logic

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

   2001 - Forschungsinformationssystem der UHH
5. 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
6. 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
7. 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
8. RACER System Description

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

   2001 - Forschungsinformationssystem der UHH
9. Description of the RACER System and its Applications

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

   2001 - Forschungsinformationssystem der UHH - frei zugänglich
10. RACER User's Guide and Reference Manual Version 1.6

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

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

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

    2001 - Forschungsinformationssystem der UHH - frei zugänglich
12. High Performance Reasoning with Very Large Knowledge Bases

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

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

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

    2000 - Forschungsinformationssystem der UHH - frei zugänglich
14. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

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

    2000 - Forschungsinformationssystem der UHH
15. 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
16. Consistency testing: The RACE experience

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

    2000 - Forschungsinformationssystem der UHH
17. ALCRA -- ALC with Role Axioms

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

    2000 - Forschungsinformationssystem der UHH
18. A Description Logic with Concrete Domains and a Role-forming Predicate Operator

    1. Haarslev, V.
    2. Lutz, C.
    3. Möller, R.

    1999 - Forschungsinformationssystem der UHH
19. On Terminological Default Reasoning about Spatial Information: Extended Abstract

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

    1999 - Forschungsinformationssystem der UHH - frei zugänglich
20. On Specifying Semantics of Visual Spatial Query Languages

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

    1999 - Forschungsinformationssystem der UHH