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

• Web-Mining Defeasible Knowledge from Concessional Statements  + (Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker)
• On the Ontological Modeling of Trees  + (Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra)
• Benchmark libraries for argumentation  + (Ossowski, Sascha)
• Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)  + (P. Bruscoli and F. Lamarche and C. Stewart)
• Implementing Deep Inference in TOM  + (P. Bruscoli and F. Lamarche and C. Stewart)
• The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference  + (P. Bruscoli and F. Lamarche and C. Stewart)
• Applying Formal Concept Analysis to Description Logics  + (P. Eklund)
• Roughening the EL Envelope  + (P. Fontaine and C. Ringeissen and R. A. Schmidt)
• Automated Deduction - A Basis for Applications  + (P. H. Schmitt W. Bibel)
• Query-Based Access Control for Ontologies  + (P. Hitzler and T. Lukasiewicz)
• On the Complexity of Counting in Description Logics  + (P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider)
• Rewriting Concepts Using Terminologies  + (P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider)
• Matching in Description Logics with Existential Restrictions  + (P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider)
• Deciding the Word Problem in the Union of Equational Theories Sharing Constructors  + (P. Narendran and M. Rusinowitch)
• An Abstract Machine for Reasoning about Situations, Actions, and Causality  + (P. Schroeder-Heister R. Dyckhoff, H. Herre)
• Extending Description Logics to Vague Knowledge in Medicine  + (P. Szczepaniak and P.J.G. Lisboa and S. Tsumoto)
• Logic Programs under Three-Valued Łukasiewicz's Semantics  + (P.,M. Hill and D.,S. Warren)
• The Power of the Terminating Chase  + (Pablo Barceló, Marco Calautti)
• Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions  + (Parisa Kordjamshidi, Archna Bhatia, Malihe Alikhani, Jason Baldridge, Mohit Bansal, Marie-Francine Moens)
• Temporal Query Answering in the Description Logic DL-Lite  + (Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt)
• Verification of Golog Programs over Description Logic Actions  + (Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt)
• Hybrid Unification in the Description Logic EL  + (Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt)
• Abduction in Logic Programming as Second-Order Quantifier Elimination  + (Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt)
• The PIE system for Proving, Interpolating and Eliminating  + (Pascal Fontaine, Stephan Schulz, Josef Urban)
• Begabtenförderung im MINT-Bereich  + (Pascal Hitzler and G. Kalmbach and Z. Riečanová)

• A Brief Introduction to Formal Concept Analysis  + (Pascal Hitzler and Hendrik Schärfe)

• A Lexico-Logical Approach to Ontology Engineering  + (Pascal Hitzler, Henrik Schärfe)
• A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions  + (Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm)
• A Rule-Based Language for Complex Event Processing and Reasoning  + (Pascal Hitzler, Thomas Lukasiewicz)
• On the Semantic Relationship between Datalog and Description Logics  + (Pascal Hitzler, Thomas Lukasiewicz)
• Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language  + (Pat Langley)
• Description Logic  + (Patrick Blackburn and Johan van Benthem and Frank Wolter)
• A computational logic approach to the belief bias in human syllogistic reasoning  + (Patrick Brézillon, Roy M. Turner, Carlo Penco)
• Updating Description Logic ABoxes  + (Patrick Doherty and John Mylopoulos and Christopher Welty)
• Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics  + (Patrick Doherty and John Mylopoulos and Christopher Welty)
• Expressive Non-Monotonic Description Logics Based on Circumscription  + (Patrick Doherty and John Mylopoulos and Christopher Welty)
• Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas  + (Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard)
• A Suggestion for an n-ary Description Logic  + (Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider)
• A Correspondance between Temporal Description Logics  + (Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider)
• A cross-lingual correcting and completive method for multilingual ontology labels  + (Paul Buitelaar Philipp Cimiano)
• Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels  + (Paul Buitelaar, Philipp Cimiano, David Lewis, James Pustejovsky, Felix Sasaki)
• A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies  + (Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil)
• Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas  + (Pavel Klinov, Matthew Horridge)
• What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts  + (Pavel Shvaiko, Jerome Euzenat, Alain Leger, Deborah L. McGuinness, Holger Wache)
• Experience Based Nonmonotonic Reasoning  + (Pedro Cabalar, Tran Cao Son)
• Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis  + (Peggy Cellier and Felix Distel and Bernhard Ganter)
• Mathematical Morphology Operators over Concept Lattices  + (Peggy Cellier and Felix Distel and Bernhard Ganter)
• SPARQL Beyond Subgraph Matching  + (Peter F. Patel-Schneider, Yue Pan, Birte Glimm, Pascal Hitzler, Peter Mika, Jeff Pan, Ian Horrocks)
• Integrated Metamodeling and Diagnosis in OWL 2  + (Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm)
• A Purely Logical Account of Sequentiality in Proof Search  + (Peter J. Stuckey)
• Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs  + (Peter Mika and Tania Tudorache and Abraham Bernstein and Chris Welty and Craig Knoblock and Denny Vrandecic and Paul Groth and Natasha Noy and Krzysztof Janowicz and Carole Goble)