- Nichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung
- Towards a Systematic Account of Different Semantics for Logic Programs
- Category Theory in Ontology Research: Concrete Gain from an Abstract Approach
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- Integrating Semantic Web Services for Mobile Access Anupriya Ankolekar, Pascal Hitzler, Holger Lewen, Daniel Oberle
- A Note on the Relationships between Logic Programs and Neural Networks
- Logic Programs, Iterated Function Systems, and Recurrent Radial Basis
- Intelligence motivation
- Fields Institute Communications Volume 00, 0000
- Generalized Metrics and Topology in Logic Programming Semantics
- Acquisition of OWL DL Axioms from Lexical Resources Johanna Volker, Pascal Hitzler and Philipp Cimiano
- Towards a Semantical Hierarchy of Logic Programming Classes Pascal Hitzler
- L A T E X2 '' Course ---Slides
- Distance-based Measures of Inconsistency and Incoherency for Description Logics
- The Importance of Being Neural-Symbolic A Wilde Position Pascal Hitzler
- Local Closed World Semantics: Keep it simple, stupid!
- Programming Representation
- Dislocated Topologies Pascal Hitzler y and Anthony Karel Seda
- corollaries Videoteaching
- Classes of Logic Programs which Possess Unique Supported Models
- A Comparison of Disjunctive Well-founded Matthias Knorr1
- Complexities of Horn Description Logics Markus Krtzsch a
- Computing Inconsistency Measure based on Paraconsistent Semantics
- Local Closed World Reasoning with Description Logics under the Well-Founded Semantics
- Semantic Web Interoperability, Usability, Applicability 0 (0) 1 1 A Reasonable Semantic Web
- Extracting Reduced Logic Programs from Artificial Neural Networks
- Fundamenta Informaticae XX (2006) 128 1 A Categorical View on Algebraic Lattices in Formal Concept
- The Semantic Web in One Day , Pascal Hitzler1
- Logic Programs and Connectionist Networks Pascal Hitzler
- A Generalized Resolution Theorem Pascal Hitzler
- Some Issues Concerning Fixed Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the
- GENERALIZED ULTRAMETRICS, DOMAINS AND AN APPLICATION
- Topology and Iterates in Computational Logic Anthony Karel Seda & Pascal Hitzler
- Ontologies and Rules Pascal Hitzler1
- Learning Expressive Ontologies Johanna VLKER 1
- Ontology Alignment for Linked Open Data Prateek Jain1
- ELP: Tractable Rules for OWL 2 Markus Krtzsch, Sebastian Rudolph, and Pascal Hitzler
- What Is Approximate Reasoning? Sebastian Rudolph1
- Approximate OWL-Reasoning with SCREECH Tuvshintur Tserendorj1
- Cheap Boolean Role Constructors for Description Logics
- Description Logic Rules Markus Krtzsch, Sebastian Rudolph, and Pascal Hitzler
- Any-World Access to OWL from Prolog Tobias Matzner and Pascal Hitzler
- An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
- Algorithms for Paraconsistent Reasoning with OWL , Pascal Hitzler2
- Formalizing Ontology Alignment and its Operations with Category Theory1
- How to reason with OWL in a logic programming system Markus Krtzsch, Pascal Hitzler, Denny Vrandecic
- Querying formal contexts with answer set Pascal Hitzler and Markus Krtzsch
- Resolution-Based Approximate Reasoning Pascal Hitzler and Denny Vrandecic
- Default reasoning over domains and concept hierarchies
- A Cartesian Closed Category of Approximable Concept Structures
- Formal Concept Analysis and Resolution in Algebraic Domains
- A New Fixed-Point Theorem for Logic Programming Pascal Hitzler and Anthony K. Seda
- Approximate OWL Instance Retrieval with SCREECH Pascal Hitzler2
- All Elephants are Bigger than All Mice Sebastian Rudolph and Markus Krtzsch and Pascal Hitzler
- Defeasible Inference with Circumscribed OWL Stephan Grimm1
- Comparing Disjunctive Well-founded Semantics Matthias Knorr1
- On the Complexity of Horn Description Logics Markus Krtzsch, Sebastian Rudolph, and Pascal Hitzler
- DLP isn't so bad after all Pascal Hitzler, Peter Haase, Markus Krotzsch, York Sure, and Rudi Studer
- Modeling Fuzzy Rules with Description Logics Sudhir Agarwal and Pascal Hitzler
- Extracting Reduced Logic Programs from Artificial Neural Networks Jens Lehmann1
- Faster OWL Using Split Programs Pascal Hitzler
- What Is Ontology Merging? A Category-Theoretical Perspective Using Pushouts
- Strictly Level-Decreasing Logic Programs Anthony Karel Seda
- SmartWeb: Mobile Access to the Semantic Web1 A. Ankolekar1
- The SCREECH OWL reasoner Scalable approximate ABox reasoning with OWL
- Converting OWL DLP statements to logic programs Boris Motik
- Logic Programming Semantics Diplomarbeit
- D2.1.2 Methods for Approximate Perry Groot (Vrije Universiteit Amsterdam)
- D2.2.1 Specification of a common framework for characterizing
- Nominal Schemas for Integrating Rules and Ontologies Technical Report, Kno.e.sis Center, Wright State University, 2010
- LOQUS: Linked Open Data SPARQL Querying System Prateek Jain
- arXiv:cs.AI/0511041v19Nov2005 Towards a unified theory of logic programming
- DLP An introduction Denny Vrandecic, Peter Haase, Pascal Hitzler, York Sure, Rudi Studer
- Formal Concept Analysis and Resolution in Algebraic Domains --Preliminary Report
- Automatisiertes Schlieen mit formalen Begrien Implementierung
- Fixpunktsemantik Pascal Hitzler
- Hitzler Neural-Symbolic Integration Osnabrck Germany November 2007 Neural-Symbolic Integration
- Hitzler & Vrandecic PPSWR05 Dagstuhl, Germany September 2005 AIFBKnowledgeWeb
- Topological Aspects of First-Order Neural-Symbolic Integration
- KnowledgeWeb Approximate Resolution for
- We don't have a clue how the mind is working. Non-monotonic reasoning --domain-theoretic
- Non-monotonic Reasoning Pascal Hitzler
- Generalized Metric Spaces in Logic Programming Semantics
- Towards Reasoning Pragmatics Pascal Hitzler
- A Better Uncle For OWL Nominal Schemas for Integrating Rules and Ontologies
- D2.1.2.2.v2 Report on realizing practical approximate and
- Der Banachsche Fixpunktsatz Pascal Hitzler
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge Pascal Hitzler
- Characterizations of Classes of Programs by ThreeValued Operators
- Description Logic Programs: A Practical Choice For the Modelling of Ontologies
- A Forgetting-based Approach for Reasoning with Inconsistent Distributed Ontologies
- Morphisms in Context Markus Krtzsch1
- Paraconsistent Reasoning for Expressive and Tractable Description Logics
- An Anytime Algorithm for Computing Inconsistency Measurement
- Morphisms in Context Markus Krtzsch1
- Fixpunktsemantik logischer Programme
- Generalized Metric Spaces in Logic Programming Semantics
- Level Mapping Characterizations of Selector Generated Models for Logic Programs
- Logikprogrammierung, Stetigkeit,
- Logic and Neural Networks Pascal Hitzler
- Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton
- Kno.e.sis Center, Wright State University Technical Report knoesis-TR-2009, 2009 PrOM: A Semantic Web Framework for Provenance
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs Sebastian Bader
- Bridging the Paradigm Gap with Rules for OWL Pascal Hitzler(1)
- Informatique theorique/Computer Science Sur les programmes logiques localement strati es1
- Journal of ELECTRICAL ENGINEERING, VOL. 51, NO. 12/s, 2000, 3--7 DISLOCATED TOPOLOGIES 1
- Strictly LevelDecreasing Logic Programs Anthony Karel Seda
- Formal Concept Analysis and Resolution in Algebraic Domains
- Connectionism Intelligence
- Characterizations of Classes of Programs by Three-Valued Operators
- Description Logic Rules Markus Krotzsch and Sebastian Rudolph and Pascal Hitzler1
- Paraconsistent Reasoning for OWL 2 and Pascal Hitzler2
- D2.1.2.2.v1 Report on realizing practical approximate and
- The Integration of Connectionism and First-Order Knowledge Representation and
- Electronic Notes in Theoretical Computer Science 40 (2001) URL: http://www.elsevier.nl/locate/entcs/volume40.html 17 pages
- Formal Concept Analysis and Resolution in Algebraic Domains ---Preliminary Report
- Contexts, Concepts, and Logic of Domains Pascal Hitzler
- The Well-Founded Semantics is a Strati ed Fitting Semantics
- A Proof that PNP By Pascal Hitzler, Kno.e.sis Center, Wright State University, Dayton, Ohio
- D2.2.5 Integrated view and comparison of alignment semantics
- Paraconsistent Semantics for Hybrid MKNF Knowledge Bases
- Logic Programs and Neural Networks Pascal Hitzler
- Logic Programming Semantics Diplomarbeit
- A Generalized Resolution Theorem Pascal Hitzler
- We don't have a clue how the mind is working. Neural-Symbolic Integration
- Dimensions of Neural-symbolic Integration --A Structured Survey
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a
- Flexible Bootstrapping-Based Ontology Alignment Prateek Jain, Pascal Hitzler, Amit P. Sheth
- Knowledge Representation and Ontologies Logic, Ontologies and Semantic Web Languages
- ELP: Tractable Rules for OWL 2 Markus Krtzsch and Sebastian Rudolph and Pascal Hitzler
- Domain Theory and Nonmonotonic Reasoning Pascal Hitzler
- Dimensions of Neuralsymbolic Integration ---A Structured Survey
- Kno.e.sis Center Technical Report TR-2010, Wright State University, (A version of this report has been accepted at the 22nd SSDBM Conference 2010).
- The Core Method: Connectionist Model Generation for First-Order Logic Programs
- Distributed Reasoning with EL++ Frederick Maier and Raghava Mutharaju and Pascal Hitzler 1
- THE SEMANTIC WEB JOURNAL OPEN AND TRANSPARENT REVIEWING
- ILP Operators for Propositional Connectionist Extended Abstract
- Resolution and Logic Programming in Algebraic Domains: Negation and Defaults
- Characterizing -accessible Programs Pascal Hitzler
- Verallgemeinerte Metriken in der Logikprogrammierung
- Representing Intelligence
- Mach Learn (2010) 78: 203250 DOI 10.1007/s10994-009-5146-2
- A Note on the Relationships between Logic Programs and Neural Networks
- Default reasoning over domains and concept hierarchies
- A uniform approach to logic programming semantics Pascal Hitzler and Matthias Wendt
- Convergence Classes and Spaces of Partial Functions Pascal Hitzler Anthony Karel Seda
- A New FixedPoint Theorem for Logic Programming Pascal Hitzler \Lambda and Anthony K. Seda
- Wissensmanagement profitiert von Semantiktechnologien In der Forschung um das Se-
- Symbolic knowledge representation with artificial neural Sebastian Bader1
- Computing First-Order Logic Programs by Fibring Artificial Neural Networks
- Description Logic Reasoning with Decision Diagrams Compiling SHIQ to Disjunctive Datalog
- Generalized Metrics and Uniquely Determined Logic Programs
- A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
- Paraconsistent Reasoning with OWL Algorithms and the ParOWL Reasoner
- What Is Ontology Merging? A Category-Theoretical Perspective Using Pushouts
- Connectionist Model Generation: A First-Order Approach
- Fixpunktsemantik Pascal Hitzler
- Towards a Systematic Account of Di erent Logic Programming Semantics
- DOLCE ergo SUMO: On Foundational and Domain Models in SWIntO
- H i s t o r i e s & F u t u r e s individual has to process is constantly growing, making
- Reasoning in Circumscriptive ALCO Stephan Grimm1
- We don't have a clue how the mind is working. Logic and Connectionism
- Journal of ELECTRICAL ENGINEERING, VOL. 51, NO. 12/s, 2000, 3{7 DISLOCATED TOPOLOGIES1
- Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs
- Project Number: 215219 Project Acronym: SOA4All
- Level Mapping Characterizations of Selector Generated Models for Logic Programs
- Approximate Instance Retrieval on Ontologies Tuvshintur Tserendorj1
- A MapReduce Algorithm for EL+ Raghava Mutharaju, Frederick Maier, and Pascal Hitzler
- Continuity of Semantic Operators and Their Approximation
- Informatique th'eorique/Computer Science Sur les programmes logiques localement stratifi'es 1
- Semantic Operators and Fixed-Point Theory in Logic Programming
- Multivalued Mappings, FixedPoint Theorems and Disjunctive Databases
- Convergence Classes and Spaces of Partial Functions Roland Heinze
- The Well Supported Semantics for Multidimensional Dynamic Logic Programs
- Description Logic Programs: Normal Forms Pascal Hitzler1
- Semantic Web journal, under review 0 (2010) 10 1 Paraconsistent OWL and Related Logics
- Rule-based resoning over conceptual knowledge Pascal Hitzler
- Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases
- Linked Data Is Merely More Data Prateek Jain
- Semantic Matchmaking of Resources with Local Closed-World Reasoning
- GENERALIZED ULTRAMETRICS, DOMAINS AND AN APPLICATION
- A \Converse" of the Banach Contraction Mapping Pascal Hitzler Anthony Karel Seda y
- Der Banachsche Fixpunktsatz und der Satz von PicardLindel of.
- OWL and Rules Adila Krisnadhi, Frederick Maier, and Pascal Hitzler
- Nonmonotonic Computation,
- Continuity of Semantic Operators in Logic Programming and Their Approximation by
- Logic Programs, Iterated Function Systems, and Recurrent Radial Basis
- Corollaries on the xpoint completion: studying the stable semantics by means of the Clark
- Characterizing Classes of Logic Programs via Unique FixedPoints of
- RaDON --Repair and Diagnosis in Ontology Networks Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmuller
- Characterizing Classes of Logic Programs via Unique Fixed-Points of
- Ontology Learning as a Use-Case for Neural-Symbolic Integration (position paper)
- Int J Software Informatics, Vol.4, No.1, March 2010, pp. 321 E-mail: ijsi@iscas.ac.cn International Journal of Software and Informatics, ISSN 1673-7288 http://www.ijsi.org
- Approximate Instance Retrieval on Ontologies Tuvshintur Tserendorj1
- Unique Supported-Model Classes of Logic Programs Pascal Hitzler and Anthony Karel Seda
- Topology and Iterates in Computational Logic \Lambda Anthony Karel Seda & Pascal Hitzler
- Programming Programming
- Nonmonotonic domaintheoretic
- Some Issues Concerning Fixed Points in Computational Logic: QuasiMetrics, Multivalued Mappings and the
- Conjunctive Queries for a Tractable Fragment of OWL 1.1
- The Large Knowledge Collider a platform for large scale integrated reasoning and Web-search
- Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams Sebastian Rudolph and Markus Krotzsch and Pascal Hitzler
- Query-Based Multicontexts Knowledge Base Browsing
- Towards Tractable Local Closed World Reasoning for the Semantic Web
- Nonmonotonic Informatics
- ScottDomains, Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs
- Circular Belief in Logic Programming Semantics Pascal Hitzler
- :penguin(x) Fixed-point
- Syntax Proposal for Nominal Schemas David Carral Martinez, Adila A. Krisnadhi, Pascal Hitzler
- Suggestions for OWL 3 Pascal Hitzler
- SmartWeb: Mobile Access to the Semantic Web A. Ankolekar, P. Cimiano, P. Hitzler, M. Krtzsch, G. Ladwig, H. Lewen, D. Oberle, R. Studer
- Complexity Boundaries for Horn Description Logics Markus Krtzsch and Sebastian Rudolph and Pascal Hitzler
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge
- Reconciling OWL and Rules David Carral Martinez, Adila Krisnadhi, Frederick Maier, Kunal Sengupta,
- Local Closed World Semantics: Grounded Circumscription for OWL
- Paraconsistent Semantics for Hybrid MKNF Knowledge Bases
- Open and transparent: the review process of the Semantic Web journal Krzysztof Janowicz, University of California, Santa Barbara, USA
- Reconciling OWL and Non-monotonic Rules for the Semantic Web (Technical Report)
- A Tableau Algorithm for Description Logics with Nominal Schemas (Technical Report)
