2024
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence (Experiments).
Dataset, January, 2024
Towards Propositional KLM-Style Defeasible Standpoint Logics.
CoRR, 2024
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences.
CoRR, 2024
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Enriching Ontologies with Disjointness Axioms using Large Language Models.
Proceedings of the Joint proceedings of the 2nd workshop on Knowledge Base Construction from Pre-Trained Language Models (KBC-LM 2024) and the 3rd challenge on Language Models for Knowledge Base Construction (LM-KBC 2024) co-located with the 23nd International Semantic Web Conference (ISWC 2024), 2024
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
2023
Compositional matrix-space models of language: Definitions, properties, and learning methods.
Nat. Lang. Eng., January, 2023
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC.
J. Artif. Intell. Res., 2023
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.
CoRR, 2023
Decidability of Querying First-Order Theories via Countermodels of Finite Width.
CoRR, 2023
A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias.
Proceedings of the Wikidata Workshop 2023 co-located with 22nd International Semantic Web Conference (ISWC 2023), 2023
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.
Proceedings of the 26th International Conference on Database Theory, 2023
2022
Toward a Comparison Framework for Interactive Ontology Enrichment Methodologies.
Proceedings of the Seventh International Workshop on the Visualization and Interaction for Ontologies and Linked Data co-located with the 21st International Semantic Web Conference (ISWC 2022), 2022
How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic.
Proceedings of the Semantic Web - ISWC 2022, 2022
Semantic Characterizations of AGM Revision for Tarskian Logics.
Proceedings of the Rules and Reasoning, 2022
A Journey to the Frontiers of Query Rewritability.
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
AGM Revision in Description Logics Under Fixed-Domain Semantics.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.
J. Artif. Intell. Res., 2021
Neural machine translating from natural language to SPARQL.
Future Gener. Comput. Syst., 2021
Semantic Characterizations of General Belief Base Revision.
CoRR, 2021
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics.
CoRR, 2021
Seed Patterns for Modeling Trees.
Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021
Finite Model Theory of the Triguarded Fragment and Related Logics.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
On Logics and Homomorphism Closure.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
Visualization of Statistical Information in Concept Lattice Diagrams.
Proceedings of the Formal Concept Analysis - 16th International Conference, 2021
Datalog-Expressibility for Monadic and Guarded Second-Order Logic.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
Standpoint Logic: Multi-Perspective Knowledge Representation.
Proceedings of the Formal Ontology in Information Systems, 2021
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
2020
Semantic Node-RED for rapid development of interoperable industrial IoT applications.
Semantic Web, 2020
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.
Semantic Web, 2020
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT.
Künstliche Intell., 2020
Knowledge Graphs Evolution and Preservation - A Technical Report from ISWS 2019.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2020
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Neva - Extension Visualization for Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2020
2019
Linked Open Data Validity - A Technical Report from ISWS 2018.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2019
Explaining Data with Formal Concept Analysis.
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
The Power of the Terminating Chase (Invited Talk).
Proceedings of the 22nd International Conference on Database Theory, 2019
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints.
Proceedings of the 32nd International Workshop on Description Logics, 2019
Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Temporally Attributed Description Logics.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities.
Discret. Appl. Math., 2018
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Faceted Answer-Set Navigation.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
The Triguarded Fragment of First-Order Logic.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Preserving Constraints with the Stable Chase.
Proceedings of the 21st International Conference on Database Theory, 2018
IoT Semantic Interoperability with Device Description Shapes.
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018
Satisfiability in the Triguarded Fragment of First-Order Logic.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Happy Ever After: Temporally Attributed Description Logics.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
2017
Succinctness and tractability of closure operator representations.
Theor. Comput. Sci., 2017
A Demo: Semantic-Based Re-Engineering of Automation Systems.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017
Wolpertinger: A Fixed-Domain Reasoner.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017
On the Ontological Modeling of Trees.
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017
Semantic Web of Things for Industry 4.0.
Proceedings of the Doctoral Consortium, 2017
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis.
Proceedings of the 2nd Workshop on Representation Learning for NLP, 2017
Semantic-Based Approach for Low-Effort Engineering of Automation Systems.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics.
Proceedings of the Progress in Artificial Intelligence, 2017
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017
2016
Is Your Database System a Semantic Web Reasoner?
Künstliche Intell., 2016
Concept lattices with negative information: A characterization theorem.
Inf. Sci., 2016
Revisiting Grounded Circumscription in Description Logics.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Expressivity of Datalog Variants - Completing the Picture.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Conceptual Navigation for Polyadic Formal Concept Analysis.
Proceedings of the Artificial Intelligence for Knowledge Management, 2016
Web-Mining Defeasible Knowledge from Concessional Statements.
Proceedings of the Graph-Based Representation and Reasoning, 2016
Fixed-Domain Reasoning for Description Logics.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics.
Proceedings of the 29th International Workshop on Description Logics, 2016
Efficient Axiom Pinpointing in EL using SAT Technology.
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
A closer look at the semantic relationship between Datalog and description logics.
Semantic Web, 2015
Bound Your Models! How to Make OWL an ASP Modeling Language.
CoRR, 2015
Characterization of the Expressivity of Existential Rule Queries.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Reduction in Triadic Data Sets.
Proceedings of the 4th International Workshop "What can FCA do for Artificial Intelligence?", 2015
Membership Constraints in Formal Concept Analysis.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Towards a Navigation Paradigm for Triadic Concepts.
Proceedings of the Formal Concept Analysis - 13th International Conference, 2015
Schema-Agnostic Query Rewriting for OWL QL.
Proceedings of the 28th International Workshop on Description Logics, 2015
What Is a Reasonable Argumentation Semantics?
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
2014
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.
J. Artif. Intell. Res., 2014
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses.
CoRR, 2014
Query Containment for Highly Expressive Datalog Fragments.
CoRR, 2014
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.
Artif. Intell., 2014
Towards Combining Machine Learning with Attribute Exploration for Ontology Refinement.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014
Schema-Agnostic Query Rewriting in SPARQL 1.1.
Proceedings of the Semantic Web - ISWC 2014, 2014
Expressiveness of guarded existential rule languages.
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles.
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014
Nominal Schemas in Description Logics: Complexities Clarified.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
On the Succinctness of Closure Operator Representations.
Proceedings of the Formal Concept Analysis - 12th International Conference, 2014
Mixing Materialization and Query Rewriting for Existential Rules.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Complexities of Nominal Schemas.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
How to Best Nest Regular Path Queries.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
The Two Views on Ontological Query Answering.
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
2013
Complexities of Horn Description Logics.
ACM Trans. Comput. Log., 2013
Managing Structured and Semistructured RDF Data Using Structure Indexes.
IEEE Trans. Knowl. Data Eng., 2013
Report on the Sixth Conference on Artificial General Intelligence.
AI Mag., 2013
Flag & check: data access with monadically defined queries.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Modeling in OWL 2 without Restrictions.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013
2012
Interactive ontology revision.
J. Web Semant., 2012
Stream reasoning and complex event processing in ETALIS.
Semantic Web, 2012
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Log. Methods Comput. Sci., 2012
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach.
Appl. Artif. Intell., 2012
Multi-Agent Knowledge Allocation.
Proceedings of the Research and Development in Intelligent Systems XXIX, 2012
On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
On Integrating Description Logics and Rules under Minimal Hypotheses.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
A Generic Querying Algorithm for Greedy Sets of Existential Rules.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Some Notes on Managing Closure Operators.
Proceedings of the Formal Concept Analysis - 10th International Conference, 2012
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation.
Proceedings of the Foundations of Information and Knowledge Systems, 2012
LODifier: Generating Linked Data from Unstructured Text.
Proceedings of the Semantic Web: Research and Applications, 2012
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012
ExpExpExplosion: Uniform Interpolation in General EL Terminologies.
Proceedings of the ECAI 2012, 2012
Exclusivity-based allocation of knowledge.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
EP-SPARQL: a unified language for event processing and stream reasoning.
Proceedings of the 20th International Conference on World Wide Web, 2011
Wheat and Chaff - Practically Feasible Interactive Ontology Revision.
Proceedings of the Semantic Web - ISWC 2011, 2011
Foundations of Description Logics.
Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Retractable Complex Event Processing and Stream Reasoning.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Results on Out-of-Order Event Processing.
Proceedings of the Practical Aspects of Declarative Languages, 2011
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.
Proceedings of the IJCAI 2011, 2011
Reasoning-Supported Interactive Revision of Knowledge Bases.
Proceedings of the IJCAI 2011, 2011
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
Proceedings of the IJCAI 2011, 2011
Walking the Complexity Lines for Generalized Guarded Existential Rules.
Proceedings of the IJCAI 2011, 2011
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies.
Proceedings of the Conceptual Structures for Discovering Knowledge, 2011
Epistemic Querying of OWL Knowledge Bases.
Proceedings of the Semantic Web: Research and Applications, 2011
Practical Epistemic Entailment Checking in SROIQ.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Revisiting Semantics for Epistemic Extensions of Description Logics.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
J. Artif. Intell. Res., 2010
Computing intensional answers to questions - An inductive logic programming approach.
Data Knowl. Eng., 2010
Integrated Metamodeling and Diagnosis in OWL 2.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010
On the Semantic Relationship between Datalog and Description Logics.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
A Rule-Based Language for Complex Event Processing and Reasoning.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Status QIO: Conjunctive Query Entailment Is Decidable.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks.
Proceedings of the Conceptual Structures: From Information to Intelligence, 2010
Orel: Database-Driven Reasoning for OWL 2 Profiles.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Compositional Matrix-Space Models of Language.
Proceedings of the ACL 2010, 2010
Foundations of Semantic Web Technologies
Chapman and Hall/CRC Press, ISBN: 9781420090505, 2010
2009
Refining Ontologies by Pattern-Based Completion.
Proceedings of the Workshop on Ontology Patterns (WOP 2009) , 2009
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data.
Proceedings of the 25th International Conference on Data Engineering, 2009
Proceedings of the Semantic Web: Research and Applications, 2009
A Matter of Principles: Towards the Largest DLP Possible.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
ELP: Tractable Rules for OWL 2.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Approximate OWL-Reasoning with Screech.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
What Is Approximate Reasoning?.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Intensional Question Answering Using ILP: What Does an Answer Mean?.
Proceedings of the Natural Language and Information Systems, 2008
Cheap Boolean Role Constructors for Description Logics.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Lexico-Logical Acquisition of OWL DL Axioms.
Proceedings of the Formal Concept Analysis, 6th International Conference, 2008
Acquiring Generalized Domain-Range Restrictions.
Proceedings of the Formal Concept Analysis, 6th International Conference, 2008
Proceedings of the ECAI 2008, 2008
All Elephants are Bigger than All Mice.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
Approximate OWL Instance Retrieval with SCREECH.
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008
Semantic Description of Distributed Business Processes.
Proceedings of the AI Meets Business Rules and Process Management, 2008
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Ontology-Based Interpretation of Keywords for Semantic Search.
Proceedings of the Semantic Web, 2007
Conjunctive Queries for a Tractable Fragment of OWL 1.1.
Proceedings of the Semantic Web, 2007
Efficient OWL Reasoning with Logic Programs - Evaluations.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Relational Exploration - Reconciling Plato and Aristotle.
Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007
Encoding Closure Operators into Neural Networks.
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007
Some Notes on Pseudo-closed Sets.
Proceedings of the Formal Concept Analysis, 5th International Conference, 2007
Supporting Lexical Ontology Learning by Relational Exploration.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Using FCA for Encoding Closure Operators into Neural Networks.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007
Conjunctive Queries for EL with Composition of Roles.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Complexity Boundaries for Horn Description Logics.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Relational exploration: combining description logics and formal concept analysis for knowledge specification.
PhD thesis, 2006
On the Complexity of Horn Description Logics.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006
2004
Exploring Relational Structures Via FLE.
Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004
2001
Formal Concept Analysis Methods for Dynamic Conceptual Graphs.
Proceedings of the Conceptual Structures: Broadening the Base, 2001