Pascal Hitzler

Mohammad Saeid Mahdavinejad

Proceedings of the Semantic Web - ISWC 2023, 2023

Conversational ontology alignment with ChatGPT.

[BibT_eX]

[DOI]

Sanaz Saki Norouzi

Mohammad Saeid Mahdavinejad

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

KnowWhereGraph-Lite: A Perspective of the KnowWhereGraph.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Graphs and Semantic Web, 2023

A Modular Ontology for MODS - Metadata Object Description Schema.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Graphs and Semantic Web, 2023

Should I Stay or Should I Go - A New Reasoner for Description Logic.

[BibT_eX]

[DOI]

Joseph Zalewski

Proceedings of the Knowledge Graphs and Semantic Web, 2023

The Expertise Ontology: Modeling Expertise in the Context of Emergency Management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

The KnowWhereGraph Ontology: A Showcase.

[BibT_eX]

[DOI]

2022

Diverse data! Diverse schemata?

[BibT_eX]

[DOI]

Semantic Web, 2022

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

[BibT_eX]

[DOI]

Abhishek Jana

Bipin Paudel

George T. Amariucai

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.

[BibT_eX]

[DOI]

AI Mag., 2022

A Pattern for Representing Scientific Taxonomies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Charles F. Vardeman II

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).

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Zilong Liu

Zhining Gu

Thomas Thelen

Proceedings of the 30th International Conference on Advances in Geographic Information Systems, 2022

LD Connect: A Linked Data Portal for IOS Press Scientometrics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 19th International Conference, 2022

Some advances regarding ontologies and neuro-symbolic artificial intelligence.

[BibT_eX]

[DOI]

Proceedings of the ECML/PKDD Workshop on Meta-Knowledge Transfer, 2022

2021

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

[BibT_eX]

[DOI]

Tarek R. Besold

Priscila Machado Vieira Lima

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Open Science data and the Semantic Web journal.

[BibT_eX]

[DOI]

Semantic Web, 2021

Advancing agriculture through semantic data management.

[BibT_eX]

[DOI]

Semantic Web, 2021

On the Capabilities of Pointer Networks for Deep Deductive Reasoning.

[BibT_eX]

[DOI]

CoRR, 2021

Neuro-Symbolic Artificial Intelligence: Current Trends.

[BibT_eX]

[DOI]

CoRR, 2021

A review of the semantic web field.

[BibT_eX]

[DOI]

Commun. ACM, 2021

Towards bridging the neuro-symbolic gap: deep deductive reasoners.

[BibT_eX]

[DOI]

Appl. Intell., 2021

Neuro-symbolic artificial intelligence.

[BibT_eX]

[DOI]

AI Commun., 2021

A Pattern for Modeling Causal Relations Between Events.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dean Rehberger

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.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2021 Posters, 2021

Automatically Generating Human Readable Documentation for Ontology Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2021 Posters, 2021

Results of the Ontology Alignment Evaluation Initiative 2021.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Ontology Matching co-located with the 20th International Semantic Web Conference (ISWC 2021), 2021

Seed Patterns for Modeling Trees.

[BibT_eX]

[DOI]

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Bridging Upper Ontology and Modular Ontology Modeling: a Tool and Evaluation.

[BibT_eX]

[DOI]

Abhilekha Dalal

Proceedings of the Knowledge Graphs and Semantic Web, 2021

A Pattern for Features on a Hierarchical Spatial Grid.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Joseph Zalewski

Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021

Expressibility of OWL Axioms with Patterns.

[BibT_eX]

[DOI]

Sulogna Chowdhury

Proceedings of the Semantic Web - 18th International Conference, 2021

Environmental Observations in Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the DaMaLOS, 2021

Neuro-Symbolic Deductive Reasoning for Cross-Knowledge Graph Entailment.

[BibT_eX]

[DOI]

Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021

2020

Modular Ontology Modeling: A Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Applications and Practices in Ontology Design, 2020

The enslaved ontology: Peoples of the historic slave trade.

[BibT_eX]

[DOI]

J. Web Semant., 2020

Gold-level open access at the Semantic Web journal.

[BibT_eX]

[DOI]

Semantic Web, 2020

Neural-symbolic integration and the Semantic Web.

[BibT_eX]

[DOI]

Federico Bianchi

Semantic Web, 2020

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

[BibT_eX]

[DOI]

Data Intell., 2020

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

[BibT_eX]

[DOI]

Abhishek Jana

George T. Amariucai

CoRR, 2020

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

[BibT_eX]

[DOI]

Stefano Borgo

Appl. Ontology, 2020

AROA results for OAEI 2020.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Abhilekha Dalal

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.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Graphs and Semantic Web, 2020

A Domain Ontology for Task Instructions.

[BibT_eX]

[DOI]

Christopher A. Stevens

Christopher W. Myers

Benji Maruyama

Proceedings of the Knowledge Graphs and Semantic Web, 2020

Modular Graphical Ontology Engineering Evaluated.

[BibT_eX]

[DOI]

Karl Hammar

Proceedings of the Semantic Web - 17th International Conference, 2020

The Enslaved Dataset: A Real-world Complex Ontology Alignment Benchmark using Wikibase.

[BibT_eX]

[DOI]

Catherine Foley

Duncan Tarr

Dean Rehberger

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.

[BibT_eX]

[DOI]

Reihaneh Amini

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.

[BibT_eX]

[DOI]

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

Completion Reasoning Emulation for the Description Logic EL+.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Semantic Web, 2019

AROA Results for 2019 OAEI.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Quinn Hirt

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.

[BibT_eX]

[DOI]

Quinn Hirt

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.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

A Method for Automatically Generating Schema Diagrams for OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019

Towards Association Rule-Based Complex Ontology Alignment.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 9th Joint International Conference, 2019

On the Capabilities of Logic Tensor Networks for Deductive Reasoning.

[BibT_eX]

[DOI]

Federico Bianchi

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Web Ontology Language (OWL).

[BibT_eX]

[DOI]

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

Description Logics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stella Sam

Semantic Web, 2018

On the prospects of blockchain and distributed ledger technologies for open science and academic publishing.

[BibT_eX]

[DOI]

Semantic Web, 2018

Reasoning over RDF Knowledge Bases using Deep Learning.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

Cristina Feier

CoRR, 2018

A Complex Alignment Benchmark: GeoLink Dataset.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2018, 2018

Ontology Design Patterns for Winston's Taxonomy of Part-Whole Relations.

[BibT_eX]

[DOI]

Clare Paul

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.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2018

Some Open Issues After Twenty Years of Formal Ontology.

[BibT_eX]

[DOI]

Stefano Borgo

Proceedings of the Formal Ontology in Information Systems, 2018

A Protégé Plug-In for Annotating OWL Ontologies with OPLa.

[BibT_eX]

[DOI]

Quinn Hirt

Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

Pseudo-Random ALC Syntax Generation.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

2017

An Ontology Design Pattern and its use case for modeling material transformation.

[BibT_eX]

[DOI]

Charles F. Vardeman II

Aimee P. C. Buccellato

Semantic Web, 2017

Relating Input Concepts to Convolutional Neural Network Decisions.

[BibT_eX]

[DOI]

Ning Xie

Derek Doran

Michael L. Raymer

CoRR, 2017

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

[BibT_eX]

[DOI]

Tarek R. Besold

Priscila Machado Vieira Lima

CoRR, 2017

Towards a Simple but Useful Ontology Design Pattern Representation Language.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Charles F. Vardeman II

Nazifa Karima

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Propositional Rule Extraction from Neural Networks under Background Knowledge.

[BibT_eX]

[DOI]

Maryam Labaf

Anthony B. Evans

Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Rendering OWL in Description Logic Syntax.

[BibT_eX]

[DOI]

Matthew Horridge

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 14th International Conference, 2017

2016

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

[BibT_eX]

[DOI]

Aidan Hogan

Semantic Web, 2016

Considerations regarding Ontology Design Patterns.

[BibT_eX]

[DOI]

Semantic Web, 2016

AI for Traffic Analytics.

[BibT_eX]

[DOI]

IEEE Intell. Informatics Bull., 2016

OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nazifa Karima

Karl Hammar

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.

[BibT_eX]

[DOI]

Amit Krishna Joshi

Guozhu Dong

Proceedings of the Semantic Web - ISWC 2016, 2016

A Practical Acyclicity Notion for Query Answering Over Horn- SRIQ Ontologies.

[BibT_eX]

[DOI]

Cristina Feier

Proceedings of the Semantic Web - ISWC 2016, 2016

Reasoning with Large Scale OWL 2 EL Ontologies Based on MapReduce.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016

Ontology Design Patterns for Linked Data Publishing.

[BibT_eX]

[DOI]

Víctor Rodríguez-Doncel

Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

Modeling With Ontology Design Patterns: Chess Games As a Worked Example.

[BibT_eX]

[DOI]

Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

On the Roles of Logical Axiomatizations for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

Collected Research Questions Concerning Ontology Design Patterns.

[BibT_eX]

[DOI]

Willem Robert van Hage

Proceedings of the Ontology Engineering with Ontology Design Patterns, 2016

2015

Editorial.

[BibT_eX]

[DOI]

Semantic Web, 2015

Why the Data Train Needs Semantic Rails.

[BibT_eX]

[DOI]

AI Mag., 2015

Semantics for Big Data.

[BibT_eX]

[DOI]

AI Mag., 2015

An Ontology For Specifying Spatiotemporal Scopes in Life Cycle Assessment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Pattern-Based Linked Data Publication: The Linked Chess Dataset Case.

[BibT_eX]

[DOI]

Víctor Rodríguez-Doncel

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Víctor Rodríguez-Doncel

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.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

The GeoLink Modular Oceanography Ontology.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

R2R+BCO-DMO - Linked Oceanographic Datasets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sünje Dallmeier-Tiessen

Elizabeth Sexton-Kennedy

Charles Vardeman

Gordon Watts

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.

[BibT_eX]

[DOI]

Proceedings of the Ontology Engineering, 2015

On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views.

[BibT_eX]

[DOI]

Proceedings of the Ontology Engineering, 2015

Alignment Aware Linked Data Compression.

[BibT_eX]

[DOI]

Amit Krishna Joshi

Guozhu Dong

Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Distributed and Scalable OWL EL Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

Neural-Symbolic Learning and Reasoning: Contributions and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

Ontology Pattern Modeling for Cross-Repository Data Integration in the Ocean Sciences: The Oceanographic Cruise Example.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web in Earth and Space Science. Current Status and Future Directions, 2015

2014

Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2014

Logics for the Semantic Web.

[BibT_eX]

[DOI]

Axel Polleres

Proceedings of the Computational Logic, 2014

Reasoning.

[BibT_eX]

[DOI]

Encyclopedia of Social Network Analysis and Mining, 2014

Web Ontology Language (OWL).

[BibT_eX]

[DOI]

Encyclopedia of Social Network Analysis and Mining, 2014

Description Logics.

[BibT_eX]

[DOI]

Encyclopedia of Social Network Analysis and Mining, 2014

Five stars of Linked Data vocabulary use.

[BibT_eX]

[DOI]

Semantic Web, 2014

Semantic Web journal Volume 5 Issue 6.

[BibT_eX]

[DOI]

Semantic Web, 2014

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

[BibT_eX]

[DOI]

Marco Gori

Natalia Villanueva-Rosales

Luís C. Lamb

Dagstuhl Reports, 2014

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

[BibT_eX]

[DOI]

Appl. Ontology, 2014

Reports on the 2013 AAAI Fall Symposium Series.

[BibT_eX]

[DOI]

Gully Burns

Yolanda Gil

Yan Liu

AI Mag., 2014

An Ontology Design Pattern for Material Transformation.

[BibT_eX]

[DOI]

Krishnaprasad Thirunarayan

Gary Berg-Cross

Torsten Hahmann

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ISWC Developers Workshop 2014, 2014

Distributed OWL EL Reasoning: The Story So Far.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

Pushing the Boundaries of Tractable Ontology Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 4th Joint International Conference, 2014

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

EL-ifying Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

The OceanLink project.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014

Semantic Web.

[BibT_eX]

Proceedings of the Computing Handbook, 2014

2013

Complexities of Horn Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

Paraconsistent OWL and related logics.

[BibT_eX]

[DOI]

Semantic Web, 2013

The new manuscript review system for the Semantic Web journal.

[BibT_eX]

[DOI]

Semantic Web, 2013

Linked Data, Big Data, and the 4th Paradigm.

[BibT_eX]

[DOI]

Semantic Web, 2013

Reasoning with inconsistencies in hybrid MKNF knowledge bases.

[BibT_eX]

[DOI]

Shasha Huang

Qingguo Li

Log. J. IGPL, 2013

Automatic Domain Identification for Linked Open Data.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, 2013

Editing R2RML Mappings Made Easy.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

D-SPARQ: Distributed, Scalable and Efficient RDF Query Engine.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

DistEL: A Distributed EL+ Ontology Classifier.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

A Linked-Data-Driven and Semantically-Enabled Journal Portal for Scientometrics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

StringsAuto and MapSSS results for OAEI 2013.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

An Ontology Design Pattern for Cartographic Map Scaling.

[BibT_eX]

[DOI]

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

Logical Linked Data Compression.

[BibT_eX]

[DOI]

Amit Krishna Joshi

Guozhu Dong

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

SROIQ Syntax Approximation by Using Nominal Schemas.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory - 11th International Conference, 2013

Thoughts on the complex relation between linked data, semantic annotations, and ontologies.

[BibT_eX]

[DOI]

Proceedings of the ESAIR'13, 2013

Crowdsourcing Semantics for Big Data in Geoscience Applications.

[BibT_eX]

[DOI]

Thomas William Narock

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

Organizing Committee.

[BibT_eX]

[DOI]

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

2012

The Digital Earth as knowledge engine.

[BibT_eX]

[DOI]

Semantic Web, 2012

Open and transparent: the review process of the Semantic Web journal.

[BibT_eX]

[DOI]

Learn. Publ., 2012

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

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Reports of the AAAI 2012 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2012

A Tableau Algorithm for Description Logics with Nominal Schema.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Recent Advances in Integrating OWL and Rules (Technical Communication).

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas.

[BibT_eX]

[DOI]

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Alignment-Based Querying of Linked Open Data.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Moving beyond SameAs with PLATO: partonomy detection for linked data.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM Conference on Hypertext and Social Media, 2012

A logical geo-ontology design pattern for quantifying over types.

[BibT_eX]

[DOI]

Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012

Extending Description Logic Rules.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2012

Key Ingredients for Your Next Semantics Elevator Talk.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2012

Reasoning with Fuzzy-EL+ Ontologies Using MapReduce.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Reconciling OWL and Non-monotonic Rules for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Consequence-Based Procedure for Description Logics with Self-Restriction.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web and Web Science, 2012

A Resolution Procedure for Description Logics with Nominal Schemas.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology, Second Joint International Conference, 2012

2011

Semantic Web surveys and applications.

[BibT_eX]

[DOI]

Semantic Web, 2011

Semantic Web tools and systems.

[BibT_eX]

[DOI]

Semantic Web, 2011

Computing inconsistency measure based on paraconsistent semantics.

[BibT_eX]

[DOI]

Guilin Qi

J. Log. Comput., 2011

Local closed world reasoning with description logics under the well-founded semantics.

[BibT_eX]

[DOI]

Artif. Intell., 2011

A better uncle for OWL: nominal schemas for integrating rules and ontologies.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on World Wide Web, 2011

Local Closed World Semantics: Grounded Circumscription for OWL.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

OWL and Rules.

[BibT_eX]

[DOI]

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

Local Closed World Semantics: Grounded Circumscription for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Paraconsistent Semantics for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

Shasha Huang

Qingguo Li

Krishnaprasad Thirunarayan

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Representation of Parsimonious Covering Theory in OWL-DL.

[BibT_eX]

[DOI]

Cory A. Henson

Amit P. Sheth

Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

ODBASE 2011 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Manfred Hauswirth

Mukesh K. Mohania

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis - 9th International Conference, 2011

Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2011

Nominal Schemas for Integrating Rules and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Local Closed World Semantics: Keep it simple, stupid!

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Mathematical Aspects of Logic Programming Semantics.

[BibT_eX]

[DOI]

Chapman and Hall / CRC studies in informatics series, CRC Press, ISBN: 978-1-439-82961-5, 2011

2010

Semantic Web - Interoperability, Usability, Applicability.

[BibT_eX]

[DOI]

Semantic Web, 2010

A reasonable Semantic Web.

[BibT_eX]

[DOI]

Frank van Harmelen

Semantic Web, 2010

Concept learning in description logics using refinement operators.

[BibT_eX]

[DOI]

Mach. Learn., 2010

Computational Complexity and Anytime Algorithm for Inconsistency Measurement.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2010

Perspectives and challenges for recurrent neural network training.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

Generalized Distance Functions in the Theory of Computation.

[BibT_eX]

[DOI]

Comput. J., 2010

Extracting reduced logic programs from artificial neural networks.

[BibT_eX]

[DOI]

Krishnaprasad Thirunarayan

Appl. Intell., 2010

Preface - Special issue on commonsense reasoning for the semantic web.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

Reports of the AAAI 2010 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2010

Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data.

[BibT_eX]

[DOI]

Proceedings of the Scientific and Statistical Database Management, 2010

Ontology Alignment for Linked Open Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Flexible bootstrapping-based ontology alignment.

[BibT_eX]

[DOI]

Prateek Jain

Amit P. Sheth

Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

A MapReduce Algorithm for EL+.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Distance-based Measures of Inconsistency and Incoherency for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Approximate Instance Retrieval on Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 21st International Conference, 2010

10302 Summary - Learning paradigms in dynamic environments.

[BibT_eX]

[DOI]

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

10302 Abstracts Collection - Learning paradigms in dynamic environments.

[BibT_eX]

[DOI]

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

Linked Data Is Merely More Data.

[BibT_eX]

[DOI]

Proceedings of the Linked Data Meets Artificial Intelligence, 2010

Foundations of Semantic Web Technologies

[BibT_eX]

[DOI]

Chapman and Hall/CRC Press, ISBN: 9781420090505, 2010

2009

Ontologies and Rules.

[BibT_eX]

[DOI]

Bijan Parsia

Proceedings of the Handbook on Ontologies, 2009

Facets of Artificial General Intelligence.

[BibT_eX]

[DOI]

Kai-Uwe Kühnberger

Künstliche Intell., 2009

Suggestions for OWL 3.

[BibT_eX]

[DOI]

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

Paraconsistent Reasoning for OWL 2.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

An Anytime Algorithm for Computing Inconsistency Measurement.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2009

Applications of Semantic Technologies - AST2009 - 4th International Workshop.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the GeoSpatial Semantics, Third International Conference, 2009

RaDON - Repair and Diagnosis in Ontology Networks.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

2008

Learning Expressive Ontologies.

[BibT_eX]

[DOI]

Johanna Völker

Peter Haase

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

Connectionist model generation: A first-order approach.

[BibT_eX]

[DOI]

Neurocomputing, 2008

A Forgetting-based Approach for Reasoning with Inconsistent Distributed Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

ELP: Tractable Rules for OWL 2.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Approximate OWL-Reasoning with Screech.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

What Is Approximate Reasoning?.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Cheap Boolean Role Constructors for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Applications of Semantic Technologies - AST 2008, 3rd International Workshop.

[BibT_eX]

[DOI]

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Description Logic Rules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

All Elephants are Bigger than All Mice.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Paraconsistent Reasoning for Expressive and Tractable Description Logics.

[BibT_eX]

[DOI]

Zuoquan Lin

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

08041 Abstracts Collection -- Recurrent Neural Networks - Models, Capacities, and Applications.

[BibT_eX]

[DOI]

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

08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications.

[BibT_eX]

[DOI]

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

Approximate OWL Instance Retrieval with SCREECH.

[BibT_eX]

[DOI]

Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

The Core Method: Connectionist Model Generation for First-Order Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO).

[BibT_eX]

[DOI]

J. Web Semant., 2007

Semantic Matchmaking of Web Resources with Local Closed-World Reasoning.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2007

Conjunctive Queries for a Tractable Fragment of OWL 1.1.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2007

Efficient OWL Reasoning with Logic Programs - Evaluations.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Decidability Under the Well-Founded Semantics.

[BibT_eX]

[DOI]

Natalia Cherchago

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Any-World Access to OWL from Prolog.

[BibT_eX]

[DOI]

Tobias Matzner

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

A Comparison of Disjunctive Well-founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007

Description Logic Programs: Normal Forms.

[BibT_eX]

[DOI]

Andreas Eberhart

Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007

Foundations of Refinement Operators for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

A Refinement Operator Based Learning Algorithm for the ALC Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Editorial.

[BibT_eX]

[DOI]

Guglielmo Tamburrini

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

A Fully Connectionist Model Generator for Covered First-Order Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Supporting Lexical Ontology Learning by Relational Exploration.

[BibT_eX]

[DOI]

Johanna Völker

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.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Acquisition of OWL DL Axioms from Lexical Resources.

[BibT_eX]

[DOI]

Johanna Völker

Philipp Cimiano

Proceedings of the Semantic Web: Research and Applications, 2007

Algorithms for Paraconsistent Reasoning with OWL.

[BibT_eX]

[DOI]

Zuoquan Lin

Proceedings of the Semantic Web: Research and Applications, 2007

Towards Tractable Local Closed World Reasoning for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2007

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Paraconsistent Resolution for Four-valued Description Logics.

[BibT_eX]

[DOI]

Zuoquan Lin

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A Well-founded Semantics for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Complexity Boundaries for Horn Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

A Categorical View on Algebraic Lattices in Formal Concept Analysis.

[BibT_eX]

[DOI]

Guo-Qiang Zhang

Fundam. Informaticae, 2006

A Semantic Future for AI.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2006

How to reason with OWL in a logic programming system.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

On the Complexity of Horn Description Logics.

[BibT_eX]

[DOI]

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation.

[BibT_eX]

[DOI]

Julien Tane

Philipp Cimiano

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Querying Formal Contexts with Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Formalizing Ontology Alignment and its Operations with Category Theory.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2006

A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

2005

A uniform approach to logic programming semantics.

[BibT_eX]

[DOI]

Matthias Wendt

Theory Pract. Log. Program., 2005

Towards a Systematic Account of Different Semantics for Logic Programs.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

The Semantic Web in One Day.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2005

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

[BibT_eX]

[DOI]

Sibylle Schwarz

CoRR, 2005

Level Mapping Characterizations of Selector Generated Models for Logic Programs.

[BibT_eX]

Sibylle Schwarz

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Bridging the Paradigm Gap with Rules for OWL.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Resolution-Based Approximate Reasoning for OWL DL.

[BibT_eX]

[DOI]

Denny Vrandecic

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

DLP Is Not So Bad After All.

[BibT_eX]

[DOI]

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Modeling Fuzzy Rules with Description Logics.

[BibT_eX]

[DOI]

Sudhir Agarwal

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

The Well Supported Semantics for Multidimensional Dynamic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Morphisms in Context.

[BibT_eX]

[DOI]

Guo-Qiang Zhang

Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

Computing First-Order Logic Programs by Fibring Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Faster OWL Using Split Programs.

[BibT_eX]

[DOI]

Denny Vrandecic

Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

Description Logic Programs: A Practical Choice For the Modelling of Ontologies.

[BibT_eX]

[DOI]

York Sure

Rudi Studer

Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

Dimensions of Neural-symbolic Integration - A Structured Survey.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Logic programs and connectionist networks.

[BibT_eX]

[DOI]

J. Appl. Log., 2004

Logic programs, iterated function systems, and recurrent radial basis function networks.

[BibT_eX]

[DOI]

J. Appl. Log., 2004

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

[BibT_eX]

[DOI]

CoRR, 2004

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

[BibT_eX]

[DOI]

CoRR, 2004

Default Reasoning over Domains and Concept Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

A Cartesian Closed Category of Approximable Concept Structures.

[BibT_eX]

[DOI]

Guo-Qiang Zhang

Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

2003

Generalized metrics and uniquely determined logic programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Formal Concept Analysis and Resolution in Algebraic Domains

[BibT_eX]

[DOI]

Matthias Wendt

CoRR, 2003

Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Towards a Systematic Account of Different Logic Programming Semantics.

[BibT_eX]

[DOI]

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

A Resolution Theorem for Algebraic Domains.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

2002

The Well-Founded Semantics Is a Stratified Fitting Semantics.

[BibT_eX]

[DOI]

Matthias Wendt

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

2001

VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.

[BibT_eX]

[DOI]

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

2000

On the Coincidence of Semantics for Uniquely Determined Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4th Irish Workshop on Formal Methods, 2000

1999

Acceptable Programs Revisited.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Characterizations of Classes of Programs by Three-Valued Operators.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.

[BibT_eX]

[DOI]

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

A Characterization of Acceptability.

[BibT_eX]

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

1998

Strictly Level-Decreasing Logic Programs.

[BibT_eX]

[DOI]