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 Database Approach for Modeling and Querying Video Data +
- A Description Logic for Vague Knowledge +
- A Description Logic with Transitive and Converse Roles and Role Hierarchies +
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
- A General Form of Attribute Exploration +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- A NEXPTIME-complete Description Logic Strictly Contained in C^2 +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- A New n-ary Existential Quantifier in Description Logics +
- A PSpace-algorithm for ALCQI-satisfiability +
- A PSpace-algorithm for deciding ALCNI_R^+-satisfiability +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Calculus for Temporal Description Logic: The Constant Domain Case +
- A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version +
- A nice Cycle Rule for Goal-Directed E-Unification +
- A rule based data manipulation language for OLAP systems +
- Adding Causal Relationships to DL-based Action Formalisms +
- Adding Numbers to the SHIQ Description Logic—First Results +
- An Approach for Optimizing ALE-Approximation of ALC-Concepts +
- Approximation and Difference in Description Logics +
- Axiom Pinpointing in General Tableaux +
- Blocking and Pinpointing in Forest Tableaux +
- Characterizing the semantics of terminological cycles in ALN using finite automata +
- Combination of Compatible Reduction Orderings that are Total on Ground Terms +
- Complementation and Inclusion of Weighted Automata on Infinite Trees +
- Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version +
- Completing Description Logic Knowledge Bases using Formal Concept Analysis +
- Completness of E-unification with eager Variable Elimination +
- Complexity and Succinctness of Public Announcement Logic +
- Computing Boundaries for Reasoning in Sub-Ontologies +
- Computing Least Common Subsumers in ALEN +
- Computing Least Common Subsumers in Description Logics with Existential Restrictions +
- Computing Minimal EL-Unifiers is Hard +
- Computing Most Specific Concepts in Description Logics with Existential Restrictions +
- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions +
- Conjunctive Query Answering in Rough EL +
- Connecting Many-Sorted Theories +
- Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices +
- Decidability of SHIQ with Complex Role Inclusion Axioms +
- Description Logic Actions with general TBoxes: a Pragmatic Approach +
- Description Logics of Context with Rigid Roles Revisited +
- Description Logics with Aggregates and Concrete Domains +
- Description Logics with Aggregates and Concrete Domains, Part II (extended) +
- Description Logics with Concrete Domains and Functional Dependencies +
- Dismatching and Local Disunification in EL +
- Error-Tolerant Reasoning in the Description Logic EL +
- Exploration by Confidence +
- Exploring finite models in the Description Logic EL_gfp +