Search by property

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

• MinitSAT  + (University of Helsinki, Helsinki, Finland)
• Decomposing Finite Closure Operators by Attribute Exploration  + (University of Nicosia)
• Literal Projection and Circumscription  + (University of Oslo)
• Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts  + (University of Vienna)
• Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics  + (Universität Bremen / Universität Freiburg, Germany)
• Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning  + (Universität Leipzig)
• Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification  + (Universitätsverlag Karlsruhe)
• Contributions to ICFCA 2009  + (Verlag Allgemeine Wissenschaft)
• Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006)  + (Verlag Allgemeine Wissenschaft)
• Termersetzungssysteme, Skript zur Vorlesung  + (Verlag der Augustinus Buchhandlung)
• Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm  + (W. de Gruyter)
• Wikipedia and the Semantic Web - The Missing Links  + (Wikimedia Foundation)

• Description Logics with Concrete Domains—A Survey  + (World Scientific Publishing Co. Pte. Ltd.)

• Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-monotonic Reasoning (ArgLPNMR 2016)  + (arXiv.org)
• Improved Answer-Set Programming Encodings for Abstract Argumentation  + (arXiv:1507.06689)
• Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules  + (ijcai.org)
• Simulating Sets in Answer Set Programming  + (ijcai.org)
• Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL  + (ijcai.org)
• Data Complexity in Expressive Description Logics With Path Expressions  + (ijcai.org)
• Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents  + (ijcai.org)
• Knowledge-Based Support for Scholarly Editing and Text Processing  + (nisaba verlag)
• Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects  + (open-advice.org)
• Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs  + (trafo Verlag)
• Blackhole State-Controlled Regulated Pushdown Automata  + (Österreichische Computer Gesellschaft)