Pascal Hitzler

Orcid: 0000-0001-6192-3472

Affiliations:
  • Kansas State University, USA
  • Wright State University (former)


According to our database1, Pascal Hitzler authored at least 338 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Ontology design facilitating Wikibase integration - and a worked example for historical data.
J. Web Semant., 2024

Towards a Global Food Systems Datahub.
Semantic Web, 2024

Neuro-symbolic AI and the semantic web.
Semantic Web, 2024

Ontology Population using LLMs.
CoRR, 2024

The S2 Hierarchical Discrete Global Grid as a Nexus for Data Representation, Integration, and Querying Across Geospatial Knowledge Graphs.
CoRR, 2024

The KnowWhereGraph Ontology.
CoRR, 2024

ConceptLens: from Pixels to Understanding.
CoRR, 2024

They Look Like Each Other: Case-based Reasoning for Explainable Depression Detection on Twitter using Large Language Models.
CoRR, 2024

Towards Complex Ontology Alignment using Large Language Models.
CoRR, 2024

On the Psychology of GPT-4: Moderately anxious, slightly masculine, honest, and humble.
CoRR, 2024

Automating CNN Neuron Interpretation using Concept Induction.
Proceedings of the ISWC 2024 Posters, 2024

Commonsense Ontology Micropatterns.
Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

Error-Margin Analysis for Hidden Neuron Activation Labels.
Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation Analysis.
Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

Concept Induction Using LLMs: A User Experiment for Assessment.
Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

A Case for Extensional Non-Wellfounded Metamodeling.
Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024

DaSeLab at LLMs4OL 2024 Task A: Towards Term Typing in Ontology Learning.
Proceedings of the LLMs4OL 2024: The 1st Large Language Models for Ontology Learning Challenge at the 23rd ISWC, 2024

2023
Towards human-compatible XAI: Explaining data differentials with concept induction over background knowledge.
J. Web Semant., December, 2023

An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas.
J. Log. Comput., January, 2023

Modular ontology modeling.
Semantic Web, 2023

Understanding CNN Hidden Neuron Activations Using Structured Background Knowledge and Deductive Reasoning.
CoRR, 2023

Explaining Deep Learning Hidden Neuron Activations using Concept Induction.
CoRR, 2023

Sustainable Grain Transportation in Ukraine Amidst War Utilizing KNARM and KnowWhereGraph.
Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

The First International Workshop on Knowledge Graphs for Sustainability - KG4S Foreword.
Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

An Ontology Design Pattern for Role-Dependent Names.
Proceedings of the 14th Workshop on Ontology Design and Patterns (WOP 2023) co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023

The Wikibase Approach to the Enslaved.Org Hub Knowledge Graph.
Proceedings of the Semantic Web - ISWC 2023, 2023

Conversational ontology alignment with ChatGPT.
Proceedings of the 18th International Workshop on Ontology Matching co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023


A Modular Ontology for MODS - Metadata Object Description Schema.
Proceedings of the Knowledge Graphs and Semantic Web, 2023

Should I Stay or Should I Go - A New Reasoner for Description Logic.
Proceedings of the Knowledge Graphs and Semantic Web, 2023

The Expertise Ontology: Modeling Expertise in the Context of Emergency Management.
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

A Formal Framework for Disaster Risk Properties.
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

The KnowWhereGraph Ontology: A Showcase.
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

2022
Diverse data! Diverse schemata?
Semantic Web, 2022

Neural Fuzzy Extractors: A Secure Way to Use Artificial Neural Networks for Biometric User Authentication.
Proc. Priv. Enhancing Technol., 2022

Know, Know Where, Knowwheregraph: A Densely Connected, Cross-Domain Knowledge Graph and Geo-Enrichment Service Stack for Applications in Environmental Intelligence.
AI Mag., 2022

A Pattern for Representing Scientific Taxonomies.
Proceedings of the 13th Workshop on Ontology Design and Patterns (WOP 2022) co-located with the 21th International Semantic Web Conference (ISWC 2022), 2022

A Pattern for Modeling Computational Observations.
Proceedings of the 13th Workshop on Ontology Design and Patterns (WOP 2022) co-located with the 21th International Semantic Web Conference (ISWC 2022), 2022

Memory Networks for RDFS reasoning: Experiments (short paper).
Proceedings of the Joint Proceedings of SemREC 2022 and SMART 2022 co-located with 21st International Semantic Web Conference (ISWC 2022), 2022

Knowledge explorer: exploring the 12-billion-statement KnowWhereGraph using faceted search (demo paper).
Proceedings of the 30th International Conference on Advances in Geographic Information Systems, 2022

LD Connect: A Linked Data Portal for IOS Press Scientometrics.
Proceedings of the Semantic Web - 19th International Conference, 2022

Some advances regarding ontologies and neuro-symbolic artificial intelligence.
Proceedings of the ECML/PKDD Workshop on Meta-Knowledge Transfer, 2022

2021
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.
Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Open Science data and the Semantic Web journal.
Semantic Web, 2021

Advancing agriculture through semantic data management.
Semantic Web, 2021

On the Capabilities of Pointer Networks for Deep Deductive Reasoning.
CoRR, 2021

Neuro-Symbolic Artificial Intelligence: Current Trends.
CoRR, 2021

A review of the semantic web field.
Commun. ACM, 2021

Towards bridging the neuro-symbolic gap: deep deductive reasoners.
Appl. Intell., 2021

Neuro-symbolic artificial intelligence.
AI Commun., 2021

A Pattern for Modeling Causal Relations Between Events.
Proceedings of the 12th Workshop on Ontology Design and Patterns (WOP 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

Aligning Patterns to the Wikibase Model.
Proceedings of the 12th Workshop on Ontology Design and Patterns (WOP 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

InK Browser - The Interactive Knowledge Browser.
Proceedings of the ISWC 2021 Posters, 2021

Automatically Generating Human Readable Documentation for Ontology Design Patterns.
Proceedings of the ISWC 2021 Posters, 2021


Seed Patterns for Modeling Trees.
Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Bridging Upper Ontology and Modular Ontology Modeling: a Tool and Evaluation.
Proceedings of the Knowledge Graphs and Semantic Web, 2021

A Pattern for Features on a Hierarchical Spatial Grid.
Proceedings of the IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6, 2021

SOSA-SHACL: Shapes Constraint for the Sensor, Observation, Sample, and Actuator Ontology.
Proceedings of the IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6, 2021

Semantic Compression with Region Calculi in Nested Hierarchical Grids.
Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021

Expressibility of OWL Axioms with Patterns.
Proceedings of the Semantic Web - 18th International Conference, 2021

Environmental Observations in Knowledge Graphs.
Proceedings of the DaMaLOS, 2021

Neuro-Symbolic Deductive Reasoning for Cross-Knowledge Graph Entailment.
Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021

2020
Modular Ontology Modeling: A Tutorial.
Proceedings of the Applications and Practices in Ontology Design, 2020

The enslaved ontology: Peoples of the historic slave trade.
J. Web Semant., 2020

Gold-level open access at the Semantic Web journal.
Semantic Web, 2020

Neural-symbolic integration and the Semantic Web.
Semantic Web, 2020

GeoLink Data Set: A Complex Alignment Benchmark from Real-world Ontology.
Data Intell., 2020

Neural Fuzzy Extractors: A Secure Way to Use Artificial Neural Networks for Biometric User Authentication.
CoRR, 2020

Time is ripe to embrace the scientific approach in Applied Ontology.
Appl. Ontology, 2020

AROA results for OAEI 2020.
Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020

Results of the Ontology Alignment Evaluation Initiative 2020.
Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020

A Functional API for OWL.
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Modular Ontology Modeling Meets Upper Ontologies: The Upper Ontology Alignment Tool.
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Wikipedia Knowledge Graph for Explainable AI.
Proceedings of the Knowledge Graphs and Semantic Web, 2020

A Domain Ontology for Task Instructions.
Proceedings of the Knowledge Graphs and Semantic Web, 2020

Modular Graphical Ontology Engineering Evaluated.
Proceedings of the Semantic Web - 17th International Conference, 2020

The Enslaved Dataset: A Real-world Complex Ontology Alignment Benchmark using Wikibase.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

GeoLink Cruises: A Non-Synthetic Benchmark for Co-Reference Resolution on Knowledge Graphs.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

CSSA'20: Workshop on Combining Symbolic and Sub-Symbolic Methods and their Applications.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

Completion Reasoning Emulation for the Description Logic EL+.
Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, 2020

2019
A closer look at the Semantic Web journal's review process.
Semantic Web, 2019

AROA Results for 2019 OAEI.
Proceedings of the 14th International Workshop on Ontology Matching co-located with the 18th International Semantic Web Conference (ISWC 2019), 2019

MODL: A Modular Ontology Design Library.
Proceedings of the 10th Workshop on Ontology Design and Patterns (WOP 2019) co-located with 18th International Semantic Web Conference (ISWC 2019), 2019

Extensions to the Ontology Design Pattern Representation Language.
Proceedings of the 10th Workshop on Ontology Design and Patterns (WOP 2019) co-located with 18th International Semantic Web Conference (ISWC 2019), 2019

Complementing Logical Reasoning with Sub-symbolic Commonsense.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

A Method for Automatically Generating Schema Diagrams for OWL Ontologies.
Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019

Towards Association Rule-Based Complex Ontology Alignment.
Proceedings of the Semantic Technology - 9th Joint International Conference, 2019

On the Capabilities of Logic Tensor Networks for Deductive Reasoning.
Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

Efficient Concept Induction for Description Logics.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Web Ontology Language (OWL).
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

Description Logics.
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

On the quality of vocabularies for linked dataset papers published in the Semantic Web journal.
Semantic Web, 2018

On the prospects of blockchain and distributed ledger technologies for open science and academic publishing.
Semantic Web, 2018

Reasoning over RDF Knowledge Bases using Deep Learning.
CoRR, 2018

A Tutorial on Modular Ontology Modeling with Ontology Design Patterns: The Cooking Recipes Ontology.
CoRR, 2018

A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies.
CoRR, 2018

A Complex Alignment Benchmark: GeoLink Dataset.
Proceedings of the Semantic Web - ISWC 2018, 2018

Ontology Design Patterns for Winston's Taxonomy of Part-Whole Relations.
Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) co-located with 17th International Semantic Web Conference (ISWC 2018), 2018

Modular Ontologies as a Bridge Between Human Conceptualization and Data.
Proceedings of the Graph-Based Representation and Reasoning, 2018

Some Open Issues After Twenty Years of Formal Ontology.
Proceedings of the Formal Ontology in Information Systems, 2018

A Protégé Plug-In for Annotating OWL Ontologies with OPLa.
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

Pseudo-Random ALC Syntax Generation.
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

2017
An Ontology Design Pattern and its use case for modeling material transformation.
Semantic Web, 2017

Relating Input Concepts to Convolutional Neural Network Decisions.
CoRR, 2017

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.
CoRR, 2017

Towards a Simple but Useful Ontology Design Pattern Representation Language.
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

Computational Environment: An ODP to Support Finding and Recreating Computational Analyses.
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 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

Explaining Trained Neural Networks with Semantic Web Technologies: First Steps.
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Propositional Rule Extraction from Neural Networks under Background Knowledge.
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Rendering OWL in Description Logic Syntax.
Proceedings of the Semantic Web: ESWC 2017 Satellite Events - ESWC 2017 Satellite Events, Portorož, Slovenia, May 28, 2017

Rule-Based OWL Modeling with ROWLTab Protégé Plugin.
Proceedings of the Semantic Web - 14th International Conference, 2017

2016
Linked Dataset description papers at the Semantic Web journal: A critical assessment.
Semantic Web, 2016

Considerations regarding Ontology Design Patterns.
Semantic Web, 2016

AI for Traffic Analytics.
IEEE Intell. Informatics Bull., 2016

OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Modeling OWL with Rules: The ROWL Protege Plugin.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

A Spatiotemporal Extent Pattern based on Semantic Trajectories.
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016

The Stub Metapattern.
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016

A Core Pattern for Events.
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016

How to Document Ontology Design Patterns.
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016

LinkGen: Multipurpose Linked Data Generator.
Proceedings of the Semantic Web - ISWC 2016, 2016

A Practical Acyclicity Notion for Query Answering Over Horn- <i>SRIQ</i> Ontologies.
Proceedings of the Semantic Web - ISWC 2016, 2016

Reasoning with Large Scale OWL 2 EL Ontologies Based on MapReduce.
Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016

Ontology Design Patterns for Linked Data Publishing.
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

Modeling With Ontology Design Patterns: Chess Games As a Worked Example.
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

On the Roles of Logical Axiomatizations for Ontologies.
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

Collected Research Questions Concerning Ontology Design Patterns.
Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

2015
Editorial.
Semantic Web, 2015

Why the Data Train Needs Semantic Rails.
AI Mag., 2015

Semantics for Big Data.
AI Mag., 2015

An Ontology For Specifying Spatiotemporal Scopes in Life Cycle Assessment.
Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

Towards Defeasible Mappings for Tractable Description Logics.
Proceedings of the Semantic Web - ISWC 2015, 2015

Pattern-Based Linked Data Publication: The Linked Chess Dataset Case.
Proceedings of the 6th International Workshop on Consuming Linked Data (COLD 2015) co-located with 14th International Semantic Web Conference (ISWC 2015), 2015

An Ontology Design Pattern for Data Integration in the Library Domain.
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

An Ontology Design Pattern for Chess Games.
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

The GeoLink Framework for Pattern-based Linked Data Integration.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015


R2R+BCO-DMO - Linked Oceanographic Datasets.
Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

A Minimal Ontology Pattern for Life Cycle Assessment Data.
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

The Semantic Web Journal as Linked Data.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Ontology Modeling with Domain Experts: The GeoVocamp Experience.
Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

An Ontology Design Pattern for Particle Physics Analysis.
Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), 2015

Towards a Rule Based Distributed OWL Reasoning Framework.
Proceedings of the Ontology Engineering, 2015

On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views.
Proceedings of the Ontology Engineering, 2015

Alignment Aware Linked Data Compression.
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Distributed and Scalable OWL EL Reasoning.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

Neural-Symbolic Learning and Reasoning: Contributions and Challenges.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Ontology Pattern Modeling for Cross-Repository Data Integration in the Ocean Sciences: The Oceanographic Cruise Example.
Proceedings of the Semantic Web in Earth and Space Science. Current Status and Future Directions, 2015

2014
Description Logics.
Proceedings of the Computational Logic, 2014

Logics for the Semantic Web.
Proceedings of the Computational Logic, 2014

Reasoning.
Encyclopedia of Social Network Analysis and Mining, 2014

Web Ontology Language (OWL).
Encyclopedia of Social Network Analysis and Mining, 2014

Description Logics.
Encyclopedia of Social Network Analysis and Mining, 2014

Five stars of Linked Data vocabulary use.
Semantic Web, 2014

Semantic Web journal Volume 5 Issue 6.
Semantic Web, 2014

Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381).
Dagstuhl Reports, 2014

Semantic Web and Big Data meets Applied Ontology - The Ontology Summit 2014.
Appl. Ontology, 2014

Reports on the 2013 AAAI Fall Symposium Series.
AI Mag., 2014

An Ontology Design Pattern for Material Transformation.
Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

An Ontology Design Pattern for Cooking Recipes - Classroom Created.
Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

Developing a distributed reasoner for the Semantic Web.
Proceedings of the ISWC Developers Workshop 2014, 2014

Distributed OWL EL Reasoning: The Story So Far.
Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014

The properties of property alignment.
Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Conference v2.0: An Uncertain Version of the OAEI Conference Benchmark.
Proceedings of the Semantic Web - ISWC 2014, 2014

Pushing the Boundaries of Tractable Ontology Reasoning.
Proceedings of the Semantic Web - ISWC 2014, 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

Revisiting Default Description Logics - and Their Role in Aligning Ontologies.
Proceedings of the Semantic Technology - 4th Joint International Conference, 2014

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

<i>EL</i>-ifying Ontologies.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

The OceanLink project.
Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014

Semantic Web.
Proceedings of the Computing Handbook, 2014

2013
Complexities of Horn Description Logics.
ACM Trans. Comput. Log., 2013

Paraconsistent OWL and related logics.
Semantic Web, 2013

The new manuscript review system for the Semantic Web journal.
Semantic Web, 2013

Linked Data, Big Data, and the 4th Paradigm.
Semantic Web, 2013

Reasoning with inconsistencies in hybrid MKNF knowledge bases.
Log. J. IGPL, 2013

Automatic Domain Identification for Linked Open Data.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, 2013

Editing R2RML Mappings Made Easy.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

D-SPARQ: Distributed, Scalable and Efficient RDF Query Engine.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

DistEL: A Distributed EL+ Ontology Classifier.
Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, 2013

Linked Scientometrics: Designing Interactive Scientometrics with Linked Data and Semantic Web Reasoning.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

A Linked-Data-Driven and Semantically-Enabled Journal Portal for Scientometrics.
Proceedings of the Semantic Web - ISWC 2013, 2013

StringsAuto and MapSSS results for OAEI 2013.
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

String Similarity Metrics for Ontology Alignment.
Proceedings of the Semantic Web - ISWC 2013, 2013

Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

An Ontology Design Pattern for Cartographic Map Scaling.
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

Logical Linked Data Compression.
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

SROIQ Syntax Approximation by Using Nominal Schemas.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

A Geo-ontology Design Pattern for Semantic Trajectories.
Proceedings of the Spatial Information Theory - 11th International Conference, 2013

Thoughts on the complex relation between linked data, semantic annotations, and ontologies.
Proceedings of the ESAIR'13, 2013

Crowdsourcing Semantics for Big Data in Geoscience Applications.
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

Organizing Committee.
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012
The Digital Earth as knowledge engine.
Semantic Web, 2012

<i>Open and transparent: the review process of the</i> Semantic Web <i>journal</i>.
Learn. Publ., 2012

Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221).
Dagstuhl Reports, 2012

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Log. Methods Comput. Sci., 2012

Reports of the AAAI 2012 Conference Workshops.
AI Mag., 2012

A Tableau Algorithm for Description Logics with Nominal Schema.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Recent Advances in Integrating OWL and Rules (Technical Communication).
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Alignment-Based Querying of Linked Open Data.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Moving beyond SameAs with PLATO: partonomy detection for linked data.
Proceedings of the 23rd ACM Conference on Hypertext and Social Media, 2012

A logical geo-ontology design pattern for quantifying over types.
Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012

Extending Description Logic Rules.
Proceedings of the Semantic Web: Research and Applications, 2012

Key Ingredients for Your Next Semantics Elevator Talk.
Proceedings of the Advances in Conceptual Modeling, 2012

Reasoning with Fuzzy-EL+ Ontologies Using MapReduce.
Proceedings of the ECAI 2012, 2012

Reconciling OWL and Non-monotonic Rules for the Semantic Web.
Proceedings of the ECAI 2012, 2012

Consequence-Based Procedure for Description Logics with Self-Restriction.
Proceedings of the Semantic Web and Web Science, 2012

A Resolution Procedure for Description Logics with Nominal Schemas.
Proceedings of the Semantic Technology, Second Joint International Conference, 2012

2011
Semantic Web surveys and applications.
Semantic Web, 2011

Semantic Web tools and systems.
Semantic Web, 2011

Computing inconsistency measure based on paraconsistent semantics.
J. Log. Comput., 2011

Local closed world reasoning with description logics under the well-founded semantics.
Artif. Intell., 2011

A better uncle for OWL: nominal schemas for integrating rules and ontologies.
Proceedings of the 20th International Conference on World Wide Web, 2011

Local Closed World Semantics: Grounded Circumscription for OWL.
Proceedings of the Semantic Web - ISWC 2011, 2011

OWL and Rules.
Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011

Local Closed World Semantics: Grounded Circumscription for Description Logics.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Paraconsistent Semantics for Hybrid MKNF Knowledge Bases.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Representation of Parsimonious Covering Theory in OWL-DL.
Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

ODBASE 2011 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

What's Happening in Semantic Web - ... and What FCA Could Have to Do with It.
Proceedings of the Formal Concept Analysis - 9th International Conference, 2011

Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton.
Proceedings of the Semantic Web: Research and Applications, 2011

Nominal Schemas for Integrating Rules and Description Logics.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Local Closed World Semantics: Keep it simple, stupid!
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Mathematical Aspects of Logic Programming Semantics.
Chapman and Hall / CRC studies in informatics series, CRC Press, ISBN: 978-1-439-82961-5, 2011

2010
Semantic Web - Interoperability, Usability, Applicability.
Semantic Web, 2010

A reasonable Semantic Web.
Semantic Web, 2010

Concept learning in description logics using refinement operators.
Mach. Learn., 2010

Computational Complexity and Anytime Algorithm for Inconsistency Measurement.
Int. J. Softw. Informatics, 2010

Perspectives and challenges for recurrent neural network training.
Log. J. IGPL, 2010

Generalized Distance Functions in the Theory of Computation.
Comput. J., 2010

Extracting reduced logic programs from artificial neural networks.
Appl. Intell., 2010

Preface - Special issue on commonsense reasoning for the semantic web.
Ann. Math. Artif. Intell., 2010

Reports of the AAAI 2010 Conference Workshops.
AI Mag., 2010

Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data.
Proceedings of the Scientific and Statistical Database Management, 2010

Ontology Alignment for Linked Open Data.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Flexible bootstrapping-based ontology alignment.
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

A MapReduce Algorithm for EL+.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Distance-based Measures of Inconsistency and Incoherency for Description Logics.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Approximate Instance Retrieval on Ontologies.
Proceedings of the Database and Expert Systems Applications, 21st International Conference, 2010

10302 Summary - Learning paradigms in dynamic environments.
Proceedings of the Learning paradigms in dynamic environments, 25.07. - 30.07.2010, 2010

10302 Abstracts Collection - Learning paradigms in dynamic environments.
Proceedings of the Learning paradigms in dynamic environments, 25.07. - 30.07.2010, 2010

Linked Data Is Merely More Data.
Proceedings of the Linked Data Meets Artificial Intelligence, 2010

Foundations of Semantic Web Technologies
Chapman and Hall/CRC Press, ISBN: 9781420090505, 2010

2009
Ontologies and Rules.
Proceedings of the Handbook on Ontologies, 2009

Facets of Artificial General Intelligence.
Künstliche Intell., 2009

Suggestions for OWL 3.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Paraconsistent Reasoning for OWL 2.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

A Preferential Tableaux Calculus for Circumscriptive <i>A</i><i>LCO</i>{\mathcal ALCO}.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

An Anytime Algorithm for Computing Inconsistency Measurement.
Proceedings of the Knowledge Science, 2009

Applications of Semantic Technologies - AST2009 - 4th International Workshop.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Towards Reasoning Pragmatics.
Proceedings of the GeoSpatial Semantics, Third International Conference, 2009

RaDON - Repair and Diagnosis in Ontology Networks.
Proceedings of the Semantic Web: Research and Applications, 2009

2008
Learning Expressive Ontologies.
Proceedings of the Ontology Learning and Population: Bridging the Gap between Text and Knowledge, 2008

Connectionist model generation: A first-order approach.
Neurocomputing, 2008

A Forgetting-based Approach for Reasoning with Inconsistent Distributed Ontologies.
Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 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

Cheap Boolean Role Constructors for Description Logics.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Applications of Semantic Technologies - AST 2008, 3rd International Workshop.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Description Logic Rules.
Proceedings of the ECAI 2008, 2008

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases.
Proceedings of the ECAI 2008, 2008

All Elephants are Bigger than All Mice.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Paraconsistent Reasoning for Expressive and Tractable Description Logics.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications.
Proceedings of the Recurrent Neural Networks - Models, Capacities, and Applications, 20.01., 2008

08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications.
Proceedings of the Recurrent Neural Networks - Models, Capacities, and Applications, 20.01., 2008

Approximate OWL Instance Retrieval with SCREECH.
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
The Core Method: Connectionist Model Generation for First-Order Logic Programs.
Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO).
J. Web Semant., 2007

Semantic Matchmaking of Web Resources with Local Closed-World Reasoning.
Int. J. Electron. Commer., 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

Decidability Under the Well-Founded Semantics.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Any-World Access to OWL from Prolog.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

A Comparison of Disjunctive Well-founded Semantics.
Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007

Description Logic Programs: Normal Forms.
Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007

Foundations of Refinement Operators for Description Logics.
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

A Refinement Operator Based Learning Algorithm for the <i>ALC</i> Description Logic.
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Editorial.
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007

A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
Proceedings of the IJCAI 2007, 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

Acquisition of OWL DL Axioms from Lexical Resources.
Proceedings of the Semantic Web: Research and Applications, 2007

Algorithms for Paraconsistent Reasoning with OWL.
Proceedings of the Semantic Web: Research and Applications, 2007

Towards Tractable Local Closed World Reasoning for the Semantic Web.
Proceedings of the Progress in Artificial Intelligence, 2007

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Paraconsistent Resolution for Four-valued Description Logics.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
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
A Categorical View on Algebraic Lattices in Formal Concept Analysis.
Fundam. Informaticae, 2006

A Semantic Future for AI.
IEEE Intell. Syst., 2006

How to reason with OWL in a logic programming system.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

On the Complexity of Horn Description Logics.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Querying Formal Contexts with Answer Set Programs.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Formalizing Ontology Alignment and its Operations with Category Theory.
Proceedings of the Formal Ontology in Information Systems, 2006

A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2006

2005
A uniform approach to logic programming semantics.
Theory Pract. Log. Program., 2005

Towards a Systematic Account of Different Semantics for Logic Programs.
J. Log. Comput., 2005

The Semantic Web in One Day.
IEEE Intell. Syst., 2005

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
CoRR, 2005

Level Mapping Characterizations of Selector Generated Models for Logic Programs.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Bridging the Paradigm Gap with Rules for OWL.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Resolution-Based Approximate Reasoning for OWL DL.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

DLP Is Not So Bad After All.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Modeling Fuzzy Rules with Description Logics.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Morphisms in Context.
Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Faster OWL Using Split Programs.
Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

Description Logic Programs: A Practical Choice For the Modelling of Ontologies.
Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

Dimensions of Neural-symbolic Integration - A Structured Survey.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004
Logic programs and connectionist networks.
J. Appl. Log., 2004

Logic programs, iterated function systems, and recurrent radial basis function networks.
J. Appl. Log., 2004

The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
CoRR, 2004

Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
CoRR, 2004

Default Reasoning over Domains and Concept Hierarchies.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

A Cartesian Closed Category of Approximable Concept Structures.
Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

2003
Generalized metrics and uniquely determined logic programs.
Theor. Comput. Sci., 2003

Formal Concept Analysis and Resolution in Algebraic Domains
CoRR, 2003

Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Towards a Systematic Account of Different Logic Programming Semantics.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

A Resolution Theorem for Algebraic Domains.
Proceedings of the IJCAI-03, 2003

2002
The Well-Founded Semantics Is a Stratified Fitting Semantics.
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

2001
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.
Proceedings of the 5th Irish Workshop on Formal Methods, 2001

2000
On the Coincidence of Semantics for Uniquely Determined Programs.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

A Note on the Relationships Between Logic Programs and Neural Networks.
Proceedings of the 4th Irish Workshop on Formal Methods, 2000

1999
Acceptable Programs Revisited.
Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Characterizations of Classes of Programs by Three-Valued Operators.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

A Characterization of Acceptability.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998
Strictly Level-Decreasing Logic Programs.
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998


  Loading...