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

• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies  + (Grau)
• Acyclicity Conditions and their Application to Query Answering in Description Logics  + (Grau)
• A cross-lingual correcting and completive method for multilingual ontology labels  + (Gromann)
• Business lexicography  + (Gromann)
• Where do business students turn for help? An empirical study on dictionary use in foreign-language learning  + (Gromann)
• Terminology Harmonization in Industry Classification Standards  + (Gromann)
• Terminology-based patterns for natural language definitions in ontologies  + (Gromann)
• Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts  + (Gromann)
• Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL  + (Gromann)
• A Model and Method to Terminologize Existing Domain Ontologies  + (Gromann)
• Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following  + (Gromann)
• Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language  + (Gromann)
• Hashtag Processing for Enhanced Clustering of Tweets  + (Gromann)
• Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition  + (Gromann)
• Polynomial Reduction from PESP to SAT  + (Grossmann)
• Linear Deductive Planning  + (Gros̈e)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I  + (Groth)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II  + (Groth)
• An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.  + (Groza)
• A semi-supervised method for learning the structure of robot-environment interaction  + (Großmann)
• Symbolic Dynamic Programming within the Fluent Calculus  + (Großmann)
• A robot control system integrating reactive control, reasoning, and execution monitoring  + (Großmann)
• Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids  + (Großmann)
• Reduction Methods for Probabilistic Model Checking  + (Größer)
• Partial Order Reduction for Markov Decision Processes: A Survey  + (Größer)
• Partial Order Reduction for Markov Decision Processes: A Survey  + (Größer)
• On reduction criteria for probabilistic reward models  + (Größer)
• Incremental Fuzzy Decision Trees  + (Guetova)

• A Calculus of Order and Interaction  + (Guglielmi)
• A Calculus of Order and Interaction  + (Guglielmi)
• A Non-commutative Extension of MELL  + (Guglielmi)
• A System of Interaction and Structure  + (Guglielmi)
• Non-commutativity and MELL in the Calculus of Structures  + (Guglielmi)
• The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference  + (Guglielmi)

• On Metric Temporal Description Logics  + (Gutiérrez-Basulto)
• ILP Operators for Propositional Connectionist Networks  + (Gutiérrez-Naranjo)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Gómez Álvarez)
• Talking about Forests: an Example of Sharing Information Expressed with Vague Terms  + (Gómez Álvarez)
• Ambiguity: What is it that needs representing and what needs resolving?  + (Gómez Álvarez)
• Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics  + (Gómez Álvarez)
• Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms  + (Gómez Álvarez)
• Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information  + (Gómez Álvarez)
• Standpoint Logic: Multi-Perspective Knowledge Representation  + (Gómez Álvarez)
• Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)  + (Gómez Álvarez)
• How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic  + (Gómez Álvarez)
• Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL  + (Gómez Álvarez)
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+  + (Gómez Álvarez)
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities  + (Gómez Álvarez)
• PDL with Intersection and Converse is 2EXP-complete  + (Göller)
• Towards Predictive Self-optimization by Situation Recognition  + (Götz)
• Advances in Artificial Intelligence  + (Götz)
• Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable  + (Głuch)
• Languages, Decidability, and Complexity  + (Haar)
• A Description Logic with Concrete Domains and Role-forming Predicates  + (Haarslev)
• Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics  + (Haarslev)
• D1.1.1 Networked Ontology Model  + (Haase)