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 Framework for Semantic-based Similarity Measures for ELH-Concepts +
- A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices +
- A hybrid approach for learning concept definitions from text +
- About Subsumption in Fuzzy EL +
- Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics +
- Adding Context to Tableaux for DLs +
- Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable? +
- Computing Local Unifiers in the Description Logic EL without the Top Concept +
- Computing Minimal EL-unifiers is Hard +
- Computing Role-depth Bounded Generalizations in the Description Logic ELOR +
- Concept Adjustment for Description Logics +
- Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies +
- Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics +
- Extending Unification in EL Towards General TBoxes +
- Finding Finite Herbrand Models +
- GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable +
- Gödel Negation Makes Unwitnessed Consistency Crisp +
- High Quality Data Generation: An Ontology Reasoning based Approach +
- How Fuzzy is my Fuzzy Description Logic? +
- Hybrid EL-Unification is NP-Complete +
- Hybrid Unification in the Description Logic EL +
- Hybrid Unification in the Description Logic EL +
- Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets +
- Instance-based Non-standard Inferences in EL with Subjective Probabilities +
- Introductions to Description Logics - A Guided Tour +
- LATPub490 +
- LATPub527 +
- LTL over Description Logic Axioms +
- Learning Formal Definitions for Biomedical Concepts +
- Learning Formal Definitions for Snomed CT from Text +
- Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers +
- Most Specific Generalizations w.r.t. General EL-TBoxes +
- On Language Equations with One-sided Concatenation +
- On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm +
- Optimizations for the role-depth bounded least common subsumer in el+ +
- Paraconsistent OWL and Related Logics +
- Positive Subsumption in Fuzzy EL with General t-norms +
- Query Matching for Report Recommendation +
- Reasoning about Actions Meets Strategic Logics +
- Recent Advances in Unification for the EL Family +
- Role-depth Bounded Least Common Subsumers for EL+ and ELI +
- Rough EL Classification +
- Roughening the EL Envelope +
- SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- Semantic Annotation in Specific Domains with rich Ontologies (in French) +
- Solving a PSPACE-complete problem by gene assembly +
- Solving language equations and disequations with applications to disunification in description logics and monadic set constraints +
- Temporalizing Ontology-Based Data Access +
