Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- A Tableau Calculus for Temporal Description Logic: The Constant Domain Case +
- A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version +
- Adding Numbers to the SHIQ Description Logic—First Results +
- Computing Least Common Subsumers in ALEN +
- Interval-based Temporal Reasoning with General TBoxes +
- Matching Concept Descriptions with Existential Restrictions Revisited +
- Matching under Side Conditions in Description Logics +
- Modal Logic and the two-variable fragment +
- NExpTime-complete Description Logics with Concrete Domains +
- On the Relation between Descripion Logics and Conceptual Graphs +
- Optimised Reasoning for SHIQ +
- Query Containment Using a DLR ABox +
- Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies +
- Rewriting Concepts Using Terminologies – Revisited +
- Structural Subsumption Considered from an Automata Theoretic Point of View +
- The Complexity of Reasoning with Boolean Modal Logics (Extended Version) +
- The Inverse Method Implements the Automata Approach for Modal Satisfiability +
- Unification in a Description Logic with Transitive Closure of Roles +
