Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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 +
