Pascal Hitzler

According to our database1, Pascal Hitzler authored at least 260 papers between 1998 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Rule-based OWL Modeling with ROWLTab Protege Plugin.
CoRR, 2018

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

Modeling OWL with Rules: The ROWL Protege Plugin.
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 Emerging Topics in Semantic Technologies, 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

On the Ontological Modeling of Trees.
CoRR, 2017

Explaining Trained Neural Networks with Semantic Web Technologies: First Steps.
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

Editorial.
Semantic Web, 2016

Considerations regarding Ontology Design Patterns.
Semantic Web, 2016

AI for Traffic Analytics.
IEEE Intelligent Informatics Bulletin, 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- SRIQ 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 Magazine, 2015

Semantics for Big Data.
AI Magazine, 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 co-located with 14th International Semantic Web Conference (ISWC 2105), 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.
Applied Ontology, 2014

Reports on the 2013 AAAI Fall Symposium Series.
AI Magazine, 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

EL-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, 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.
Logic Journal of the 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

Open and transparent: the review process of the Semantic Web journal.
Learned Publishing, 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
Logical Methods in Computer Science, 2012

Reports of the AAAI 2012 Conference Workshops.
AI Magazine, 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 Workshops, 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.
Machine Learning, 2010

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

Perspectives and challenges for recurrent neural network training.
Logic Journal of the 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 Magazine, 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.
KI, 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 ALCO{\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

Vorwort der Workshop-Leitung.
Proceedings of the Informatik 2009: Im Focus das Leben, 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 INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8., 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 Sem., 2007

Semantic Matchmaking of Web Resources with Local Closed-World Reasoning.
Int. J. Electronic Commerce, 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 ALC 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 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. Inform., 2006

A Semantic Future for AI.
IEEE Intelligent Systems, 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.
TPLP, 2005

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

The Semantic Web in One Day.
IEEE Intelligent Systems, 2005

Dimensions of Neural-symbolic Integration - A Structured Survey
CoRR, 2005

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

Towards a Systematic Account of Different Semantics for Logic Programs
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, 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. Applied Logic, 2004

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

A Categorical View on Algebraic Lattices in Formal Concept Analysis
CoRR, 2004

Default reasoning over domains and concept hierarchies
CoRR, 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
A uniform approach to logic programming semantics
CoRR, 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.
Electr. Notes Theor. Comput. Sci., 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.
Electr. Notes Theor. Comput. Sci., 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...