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
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- A Description Logic of Change +
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A finite basis for the set of EL-implications holding in a finite model +
- Answering conjunctive queries in the SHIQ description logic +
- Ausgezeichnete Informatikdissertationen 2006 +
- Automatic flow classification using machine learning +
- Award1009 +
- Award1010 +
- Awards in 2007 +
- Axiom Pinpointing in General Tableaux +
- Blocking Automata for PSPACE DLs +
- Completing Description Logic Knowledge Bases using Formal Concept Analysis +
- Completing Description Logic Knowledge Bases using Formal Concept Analysis +
- Complexity Boundaries for Horn Description Logics +
- Complexity of Horn Description Logics +
- Complexity of Planning in Action Formalisms Based on Description Logics +
- Computing the Least Common Subsumer w.r.t. a Background Terminology +
- Conjunctive Queries for EL with Role Composition +
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 +
- Connecting Many-Sorted Theories +
- Conservative Extensions in Expressive Description Logics +
- Conservative Extensions in the Lightweight Description Logic EL +
- Data Complexity in the EL family of DLs +
- Data Complexity in the EL family of Description Logics +
- Description Logics +
- Descriptional Complexity of Generalized Forbidding Grammars +
- Descriptional Complexity of Grammars Regulated by Context Conditions +
- Descriptional complexity of semi-conditional grammars +
- Die Zukunft der Wikis: Semantic Web +
- Efficient OWL Reasoning with Logic Programs - Evaluations +
- Encoding Closure Operators into Neural Networks +
- Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach +
- Generalized Domain-Range Restrictions +
- Inverse Roles Make Conjunctive Queries Hard +
- Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +
- Model Checking Markov Chains with Actions and State Labels +
- Models and temporal logical specifications for timed component connectors +
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies +
- Neuro-Symbolic Word Tagging +
- On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata +
- Ontology-based Interpretation of Keywords for Semantic Search +
- PDL with Intersection and Converse is 2EXP-complete +
- Pinpointing in the Description Logic EL +
- Pinpointing in the Description Logic EL +
- Planning in Action Formalisms based on DLs: First Results +
- Practical Reasoning with OWL and Rules +
- Probabilistic and Topological Semantics for Timed Automata +
- Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007 +
