Library

Export 162 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
Conference Paper
York Sure, Rudi Studer, Pascal Hitzler. Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In 1st Workshop on Formal Ontologies meet Meet Industry, FOMI'05; 2005.  (0 bytes)
Andreas Eberhart, Pascal Hitzler. Description Logic Programs: Normal Forms. In FAInt-07; 2007.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. In The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008. Karlsruhe, Germany: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference; 2008. p. 435-450.  (150.02 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Rules. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece; 2008. p. 80-84.  (179.06 KB)
York Sure, Rudi Studer, Markus Krotzsch, Peter Haase, Pascal Hitzler. DLP Isn't So Bad After All. In 2005.  (88.28 KB)
Pascal Hitzler, York Sure, Rudi Studer, Markus Krotzsch, Peter Haase. DLP Isn't So Bad After All. In DLP Isn't So Bad After All. 2005.
Sebastian Rudolph, Markus Krotzsch, Michael Sintek, Denny Vrandecic, Pascal Hitzler. Efficient OWL Reasoning with Logic Programs - Evaluations. In International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007. p. 370-373.  (106.23 KB)
Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. In ELP: Tractable Rules for OWL 2. 2008.
Sebastian Rudolph, Gaston Tagni, Christophe Gueret, Stefan Schlobach, Pascal Hitzler. An Evolutionary Computing Approach for Reasoning in the Semantic Web. In International Workshop on Collective Intelligence and Evolution; 2009.
Denny Vrandecic, Pascal Hitzler. Faster OWL Using Split Programs. In 2005.  (0 bytes)
Prateek Jain, Pascal Hitzler, Amit Sheth. Flexible Bootstrapping-Based Ontology Alignment. In The Fifth International Workshop on Ontology Matching collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010; 2010.  (62.44 KB)
Guilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler. A Forgetting-based Approach for Handling Inconsistency in Distributed Ontologies. In 5th European Semantic Web Conference, ESWC08; 2008.  (0 bytes)
Matthias Wendt, Pascal Hitzler. Formal Concept Analysis and Resolution in Algebraic Domains. In ICCS 2003. Shaker Verlag, Aachen; 2003. p. 205-221.  (161.87 KB)
Jens Lehmann, Pascal Hitzler. Foundations of Refinement Operators for Description Logics. In 17th International Conference, ILP 2007. Corvallis, OR, USA; 2007. p. 161-174.  (188.77 KB)
Sebastian Bader, Steffen Holldobler, Andreas Witzel, Pascal Hitzler. A Fully Connectionist Model Generator for Covered First-Order Logic Programs. In Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. Hyderabad, India; 2007. p. 666-671.
Prateek Jain, Pascal Hitzler, Amit Sheth, Peter Z. Yeh, Kunal Verma. How To Make Linked Data More than Data. In Semantic Technology Conference 2010. San Francisco, California; 2010.  (1.65 MB)
M. Krotzsch, D. Vrandecic, M. Sintek, Pascal Hitzler. How to Reason with OWL in a Logic Programming System. In the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006. Athens, Georgia; 2006. p. 17-26.  (168 KB)
Anupriya Ankolekar, Pascal Hitzler, Holger Lewen, Daniel Oberle, Rudi Studer. Integrating Semantic Web Services for Mobile Access. In 3rd European Semantic Web Conference (ESWC 2006). Budva, Montenegro; 2006.  (281.12 KB)
Sebastian Bader, Steffen Holldobler, Pascal Hitzler. The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence. In Third International Conference on Information. Tokyo, Japan; 2004.  (166.22 KB)
Barbara Hammer, Pascal Hitzler, Wolfgang Maass, Marc Toussaint. Learning Paradigms in Dynamic Environments. In Dagstuhl Seminar Proceedings 10302. Dagstuhl, Germany: Schloss Dagstuhl; 2010.  (161.34 KB)
Sibylle Schwarz, Pascal Hitzler. Level Mapping Characterizations of Selector-Generated Models for Logic Programs. In 19th Workshop on (Constraint) Logic Programming; 2005.  (0 bytes)
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local Closed World Reasoning: Grounded Circumscription for OWL. In The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011. Bonn, Germany: Proceedings, Part I. Lecture Notes in Computer Science Vol. 7031, Springer, Heidelberg, 2011; 2011.  (385.97 KB)
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. Local Closed World Semantics: Keep it simple, stupid!. In Local Closed World Semantics: Keep it simple, stupid!. 2011.
Amit Joshi, Pascal Hitzler, Guozhu Dong. Logical Linked Data Compression. In 10th Extended Semantic Web Conference (ESWC 2013 ). Montpellier, France; 2013.  (379.52 KB)
Raghava Mutharaju, Frederick Maier, Pascal Hitzler. A MapReduce Algorithm for EL+. In 23rd International Workshop on Description Logics (DL2010). Waterloo, Canada; 2010.  (125.99 KB)
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (152.34 KB)
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet, Tunisia; 2007.  (152.34 KB)
R. Studer, S. Brockmans, P. Haase, Pascal Hitzler. A Metamodel and UML Profile for Rule-extended OWL DL Ontologies. In 3rd European Semantic Web Conference, ESWC 2006. Budva, Montenegro; 2006. p. 303-316.  (515.55 KB)
Sudhir Agarwal, Pascal Hitzler. Modeling Fuzzy Rules with Description Logics. In 2005.  (186.61 KB)
Markus Krotzsch, Guo-Qiang Zhang, Pascal Hitzler. Morphisms in Context. In 13th International Conference on Conceptual Structures, ICCS '05. Kassel, Germany; 2005. p. 223-237.  (159.48 KB)
Anthony K. Seda, Pascal Hitzler. Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. In Electronic Workshops in Computing, British Computer Society; 1999.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. A New Fixed-point Theorem for Logic Programming Semantics. In SCI2000 and ISAS2000. Orlando, Florida, USA; 2000. p. 418-423.
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Description Logics. In 2011.  (0 bytes)
Prateek Jain, Pascal Hitzler, Amit Sheth, Kunal Verma, Peter Z. Yeh. Ontology Alignment for Linked Open Data. In 9th International Semantic Web Conference. Shanghai, China; 2010.  (439.48 KB)
Sebastian Bader, Pascal Hitzler, Artur S. D'Avila Garcez. Ontology Learning as a Use Case for Neural-Symbolic Integration. In Ontology Learning as a Use Case for Neural-Symbolic Integration. 2005.
Yue Ma, Zuoquan Lin, Pascal Hitzler. Paraconsistent Reasoning for Expressive and Tractable Description Logics. In 21st International Workshop on Description Logics, DL2008; 2008.  (0 bytes)
Yue Ma, Pascal Hitzler. Paraconsistent Reasoning for OWL 2. In Third International Conference, RR. Chantilly, VA, USA: Web Reasoning and Rule Systems, Third International Conference, RR 2009; 2009. p. 197-211.  (188.59 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Paraconsistent Resolution for Four-valued Description Logics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (179.34 KB)
Shasha Huang, Qingguo Li, Pascal Hitzler. Paraconsistent Semantics for Hybrid MKNF Knowledge Bases. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Proceedings. Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
Stephan Grimm, Pascal Hitzler. A Preferential Tableaux Calculus for Circumscriptive ALCO. In International Conference, RR. Chantilly, VA, USA: International Conference, RR 2009; 2009. p. 40-54.  (244.34 KB)
Satya S. Sahoo, Krishnaprasad Thirunarayan, Olivier Bodenreider, Pascal Hitzler, Amit Sheth. Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data. In SSDBM2010. The 22nd International Conference on Scientific and Statistical Database Management (SSDBM) 2010; 2010.  (810.08 KB)
M. Krotzsch, Pascal Hitzler. Querying Formal Contexts with Answer Set Programs. In 14th International Conference on Conceptual Structures, ICCS 2006. Aalborg, Denmark; 2006. p. 260-273.  (370.44 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web. In ICCS 2007. Sheffield, UK; 2007.  (28.66 KB)
Jens Lehmann, Pascal Hitzler. A Refinement Operator Based Learning Algorithm for the ALC Description Logic. In 17th International Conference, ILP. Corvallis, OR, USA: 17th International Conference, ILP 2007; 2007. p. 147-160.  (222.92 KB)
Cory Henson, Krishnaprasad Thirunarayan, Amit Sheth, Pascal Hitzler. Representation of Parsimonious Covering Theory in OWL-DL. In 8th International Workshop on OWL: Experiences and Directions (OWLED 2011). San Francisco, California; 2011.
Pascal Hitzler. A Resolution Theorem for Algebraic Domains. In IJCAI-03. Acapulco, Mexico; 2003. p. 1339-1340.  (148.25 KB)
Denny Vrandecic, Pascal Hitzler. Resolution-based approximate reasoning for OWL DL. In ISWC2005. Galway, Ireland; 2005. p. 383-397.  (182 KB)
Stephan Grimm, Andreas Eberhart, Rudi Studer, Sudhir Agarwal, Daniel Oberle, Steffen Lamparter, Pascal Hitzler. Semantic Management of Web Services using the Core Ontology of Services. In W3C Workshop on Frameworks for Semantics in Web Services; 2005.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. Semantic Operators and Fixed-Point Theory in Logic Programming. In 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001). Orlando, Florida, USA; 2001. p. 224-229.  (1.77 MB)

Pages