Suche mittels Attribut

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

• How to reason with OWL in a logic programming system  + (Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens)
• Asynchronous Multi-Context Systems  + (Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran)
• Stream Packing for Asynchronous Multi-Context Systems using ASP  + (Thomas Eiter, Wolfgang Faber, Stefan Woltran)
• Proceedings of the First International Workshop on Uncertainty in Description Logics  + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)
• Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities  + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)
• Similarity-based Relaxed Instance Queries in EL^++  + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)
• Many-Valued Horn Logic is Hard  + (Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan)
• A General First-Order Solution to the Ramification Problem  + (Thomas Meyer and Eugenia Ternovska)
• Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies  + (Thomas Schneider, Dirk Walther)
• A Geo-ontology Design Pattern for Semantic Trajectories  + (Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood)
• Reifying RDF: What Works Well With Wikidata?  + (Thorsten Liebig and Achille Fokoue)
• Practical Linked Data Access via SPARQL: The Case of Wikidata  + (Tim Berners-Lee, Sarven Capadisli, Stefan Dietze, Aidan Hogan, Krzysztof Janowicz, Jens Lehmann)
• Extending Decidable Existential Rules by Joining Acyclicity and Guardedness  + (Toby Walsh)
• Walking the Complexity Lines for Generalized Guarded Existential Rules  + (Toby Walsh)
• Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ  + (Toby Walsh)
• Description Logics over Lattices with Multi-valued Ontologies  + (Toby Walsh)
• Efficient Inferencing for OWL EL  + (Tomi Janhunen, Ilkka Niemelä)
• Automata-based Reasoning in Fuzzy Description Logics  + (Tommaso Flaminio and Lluis Godo and Siegfried Gottlob and Erich Peter Klement)
• CPrAA -- A Checker for Probabilistic Abstract Argumentation  + (Toni, Francesca and Polberg, Sylwia and Booth, Richard and Caminada, Martin and Kido, Hiroyuki)
• Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations  + (Torsten Schaub)
• The Logical Difference for ELHr-Terminologies using Hypergraphs  + (Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan)
• Multi-context systems for reactive reasoning in dynamic environments  + (Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan)
• Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment  + (U. Egly and C. G. Fermüller)
• CEL—A Polynomial-time Reasoner for Life Science Ontologies  + (U. Furbach and N. Shankar)
• Rational Models of Normal Logic Programs  + (U. Gesdke N.E. Fuchs)

• Clause Simplifications in Search-Space Decomposition-Based SAT Solvers  + (Ulle Endriss, João Leite)

• A Computational Logic Approach to Syllogisms in Human Reasoning  + (Ulrich Furbach, Claudia Schon)
• A Tableau System for the Description Logic SHIO  + (Ulrike Sattler)
• How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic  + (Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato)
• Efficient Dependency Analysis for Rule-Based Ontologies  + (Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato)
• Using FCA for Encoding of Closure Operators into Neural Networks  + (Uta Priss, Simon Polovina, Richard Hill)
• Supporting Lexical Ontology Learning by Relational Exploration  + (Uta Priss, Simon Polovina, Richard Hill)
• Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web  + (Uta Priss, Simon Polovina, Richard Hill)
• Reasoning and Explanation in EL and in Expressive Description Logics  + (Uwe As̈mann and Andreas Bartho and Christian Wende)
• A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository  + (Uwe M. Borghoff and Boris Chidlovskii)
• LATPub439  + (V. Haarslev and D. Toman and G. Weddell)
• Tableau Systems for SHIO and SHIQ  + (V. Haarslev and R. Möller)
• Reasoning about Complex Actions  + (V. Lifschitz)
• A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation  + (V.V. Kluev and N.E. Mastorakis)
• Using Tableaux and Automata for Pinpointing in EL  + (Valentin Goranko)
• Extending Two-Variable Logic on Trees  + (Valentin Goranko, Mads Dam)
• A Behavioral Characterization of Computational Systems  + (Verlagshaus Monsenstein und Vannerdat OHG)
• An Ontology Design Pattern for Activity Reasoning  + (Victor de Boer, Aldo Gangemi, Krzysztof Janowicz, Agnieszka Lawrynowicz)
• Complexity of Axiom Pinpointing in the DL-Lite Family  + (Volker Haarslev and David Toman and Grant Weddell)
• Correcting Access Restrictions to a Consequence  + (Volker Haarslev and David Toman and Grant Weddell)
• Unification Theory  + (W. Bibel and P.H. Schmidt)
• Tractable and Decidable Fragments of Conceptual Graphs  + (W. Cyre and W. Tepfenhart)
• A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method  + (W. McCune)
• Description Logics with Symbolic Number Restrictions  + (W. Wahlster)
• Description Logics for the Representation of Aggregated Objects  + (W.Horn)
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets  + (Weiru Liu)