TY - Generic
T1 - Distributed OWL EL Reasoning: The Story So Far
T2 - 10th International Workshop on Scalable Semantic Web Knowledge Base Systems
Y1 - 2014
A1 - Raghava Mutharaju
A1 - Pascal Hitzler
A1 - Prabhaker Mateti
ED - Thomas Liebig
ED - Achille Fokoue
KW - classification
KW - distributed reasoning
KW - MapReduce
KW - OWL 2 EL
KW - peer-to-peer system
AB - Automated generation of axioms from streaming data, such as traffic and text, can result in very large ontologies that single machine reasoners cannot handle. Reasoning with large ontologies requires distributed solutions. Scalable reasoning techniques for RDFS, OWL Horst and OWL 2 RL now exist. For OWL 2 EL, several distributed reasoning approaches have been tried, but are all perceived to be inefficient. We analyze this perception. We analyze completion rule based distributed approaches, using different characteristics, such as dependency among the rules, implementation optimizations, how axioms and rules are distributed. We also present a distributed queue approach for the classification of ontologies in description logic EL+(fragment of OWL 2 EL).
JA - 10th International Workshop on Scalable Semantic Web Knowledge Base Systems
PB - CEUR
CY - Riva del Garda, Italy
VL - 1261
ER -
TY - CONF
T1 - Automatic Domain Identification for Linked Open Data
T2 - 2013 IEEE/WIC/ACM International Conference on Web Intelligence
Y1 - 2013
A1 - Sarasi Lalithsena
A1 - Prateek Jain
A1 - Pascal Hitzler
A1 - Amit Sheth
KW - Dataset search
KW - Domain Identification
KW - Linked Open Data Cloud
AB - Linked Open Data (LOD) has emerged as one of the largest collections of interlinked structured datasets on the Web. Although the adoption of such datasets for applications is increasing, identifying relevant datasets for a specific task or topic is still challenging. As an initial step to make such identification easier, we provide an approach to automatically identify the topic domains of given datasets. Our method utilizes existing knowledge sources, more specifically Freebase, and we present an evaluation which validates the topic domains we can identify with our system. Furthermore, we evaluate the effectiveness of identified topic domains for the purpose of finding relevant datasets, thus showing that our approach improves reusability of LOD datasets.
JA - 2013 IEEE/WIC/ACM International Conference on Web Intelligence
PB - ACM
CY - Atlanta, GA
U1 - Full citation
Sarasi Lalithsena, Prateek Jain, Pascal Hitzler, and Amit Sheth, "Automatic Domain Identification for Linked Open Data," 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Atlanta, GA, 2013, pp. 205-212.
doi: 10.1109/WI-IAT.2013.206
ER -
TY - CONF
T1 - Logical Linked Data Compression
T2 - 10th Extended Semantic Web Conference (ESWC 2013 )
Y1 - 2013
A1 - Amit Joshi
A1 - Pascal Hitzler
A1 - Guozhu Dong
AB - Linked data has experienced accelerated growth in recent years. With the continuing proliferation of structured data, demand for RDF compression is becoming increasingly important. In this study, we introduce a novel lossless compression technique for RDF datasets, called Rule Based Compression (RB Compression) that compresses datasets by generating a set of new logical rules from the dataset and removing triples that can be inferred from these rules. Unlike other compression techniques, our approach not only takes advantage of syntactic verbosity and data redundancy but also utilizes semantic associations present in the RDF graph. Depending on the nature of the dataset, our system is able to prune more than 50% of the original triples without affecting data integrity.
JA - 10th Extended Semantic Web Conference (ESWC 2013 )
CY - Montpellier, France
ER -
TY - Generic
T1 - Alignment-based Querying of Linked Open Data
T2 - ODBASE 2012
Y1 - 2012
A1 - Amit Krishna
A1 - Prateek Jain
A1 - Pascal Hitzler
A1 - Peter Z. Yeh
A1 - Kunal Verma
A1 - Amit Sheth
A1 - Mariana Damova
AB - The Linked Open Data (LOD) cloud is rapidly becoming the largest interconnected source of structured data on diverse domains. The potential of the LOD cloud is enormous, ranging from solving challenging AI issues such as open domain question answering to automated knowledge discovery. However, due to an inherent distributed nature of LOD and a growing number of ontologies and vocabularies used in LOD datasets, querying over multiple datasets and retrieving LOD data remains a challenging task. In this paper, we propose a novel approach to querying linked data by using alignments for processing queries whose constituent data come from heterogeneous sources. We also report on our Alignment based Linked Open Data Querying System (ALOQUS) and present the architecture and associated methods. Using the state of the art alignment system BLOOMS, ALOQUS automatically maps concepts in users’ SPARQL queries, written in terms of a conceptual upper ontology or domain specific ontology, to different LOD concepts and datasets. It then creates a query plan, sends sub-queries to the different endpoints, crawls for co-referent URIs, merges the results and presents them to the user. We also compare the existing querying systems and demonstrate the added capabilities that the alignment based approach can provide for querying the Linked data.
JA - ODBASE 2012
CY - Rome, Italy
VL - 7566
ER -
TY - CONF
T1 - Semantics and Ontologies for EarthCube
T2 - Workshop on GIScience in the Big Data Age, in conjunction with the 7th International Conference on Geographic Information Science 2012 (GIScience 2012)
Y1 - 2012
A1 - Gary Berg-Cross
A1 - Isabel Cruz
A1 - Mike Dean
A1 - Timothy Finin
A1 - Pascal Hitzler
A1 - Hook Hua
A1 - Mark Gahegan
A1 - Krzysztof Janowicz
A1 - Naicong Li
A1 - Philip Murphy
A1 - Bryce Nordgren
A1 - Leo Obrst
A1 - Mark Schildhauer
A1 - Amit Sheth
A1 - Krishna Sinha
A1 - Anne Thessen
A1 - Nancy Wiegand
A1 - Ilya Zaslavsky
ED - Krzysztof Janowicz
ED - Carsten Keßler
ED - Tomi Kauppinen
ED - Dave Kolas
ED - Simon Scheider
KW - Tractable Reasoning with Ontologies
AB - Semantic technologies and ontologies play an increasing role in scientific workflow systems and knowledge infrastructures. While ontologies are mostly used for the semantic annotation of metadata, semantic technologies enable searching metadata catalogs beyond simple keywords, with some early evidence of semantics used for data translation. However, the next generation of distributed and interdisciplinary knowledge infrastructures will require capabilities beyond simple subsumption reasoning over subclass relations. In this work, we report from the EarthCube Semantics Community by highlighting which role semantics and ontologies should play in the EarthCube knowledge infrastructure. We target the interested domain scientist and, thus, introduce the value proposition of semantic technologies in a non-technical language. Finally, we commit ourselves to some guiding principles for the successful implementation and application of semantic technologies and ontologies within EarthCube.
JA - Workshop on GIScience in the Big Data Age, in conjunction with the 7th International Conference on Geographic Information Science 2012 (GIScience 2012)
CY - Columbus, OH
ER -
TY - CONF
T1 - A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies
T2 - International World Wide Web Conference (WWW2011)
Y1 - 2011
A1 - Markus Krotzsch
A1 - Frederick Maier
A1 - Adila Alfa Krisnadhi
A1 - Pascal Hitzler
KW - Datalog
KW - Description Logic
KW - Semantic Web Rule Language
KW - SROIQ
KW - tractability
KW - Web Ontology Language
AB - We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like 'variable nominal classes' within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV_3(⊓, X) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.
JA - International World Wide Web Conference (WWW2011)
PB - Proceedings of the 20th International World Wide Web Conference (WWW2011)
CY - New York
ER -
TY - JOUR
T1 - Computing Inconsistency Measure based on Paraconsistent Semantics
Y1 - 2011
A1 - Yue Ma
A1 - Guilin Qi
A1 - Pascal Hitzler
AB - Measuring inconsistency in knowledge bases has been recognized as an important problem in several research areas. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. However, existing methods suffer from two limitations: (i) they are mostly restricted to propositional knowledge bases; (ii) very few of them discuss computational aspects of computing inconsistency measures. In this article, we try to solve these two limitations by exploring algorithms for computing an inconsistency measure of first-order knowledge bases. After introducing a four-valued semantics for first-order logic, we define an inconsistency measure of a first-order knowledge base, which is a sequence of inconsistency degrees. We then propose a precise algorithm to compute our inconsistency measure. We show that this algorithm reduces the computation of the inconsistency measure to classical satisfiability checking. This is done by introducing a new semantics, named S[n]-4 semantics, which can be calculated by invoking a classical SAT solver. Moreover, we show that this auxiliary semantics also gives a direct way to compute upper and lower bounds of inconsistency degrees. That is, it can be easily revised to compute approximating inconsistency measures. The approximating inconsistency measures converge to the precise values if enough resources are available. Finally, by some nice properties of the S[n]-4 semantics, we show that some upper and lower bounds can be computed in P-time, which says that the problem of computing these approximating inconsistency measures is tractable.
ER -
TY - CONF
T1 - Contextual Ontology Alignment of LOD With an Upper Ontology: A Case Study With Proton
T2 - 8th Extended Semantic Web Conference, ESWC 2011
Y1 - 2011
A1 - Prateek Jain
A1 - Peter Z. Yeh
A1 - Kunal Verma
A1 - Reymonrod Vasquez
A1 - Mariana Damova
A1 - Pascal Hitzler
A1 - Amit Sheth
KW - Contextual Ontology Alignment
KW - Linked Open Data
KW - Ontology Mapping
KW - Schema Alignment
AB - The Linked Open Data (LOD) is a major milestone towards realizing the Semantic Web vision, and can enable applications such as robust Question Answering (QA) systems that can answer queries requiring multiple, disparate information sources. However, realizing these applications requires relationships at both the schema and instance level, but currently the LOD only provides relationships for the latter. To address this limitation, we present a solution for automatically finding schema-level links between two LOD ontologies -- in the sense of ontology alignment. Our solution, called BLOOMS+, extends our previous solution (i.e. BLOOMS) in two significant ways. BLOOMS+ 1) uses a more sophisticated metric to determine which classes between two ontologies to align, and 2) considers contextual information to further support (or reject) an alignment. We present a comprehensive evaluation of our solution using schema-level mappings from LOD ontologies to Proton (an upper level ontology) -- created manually by human experts for a real world application called FactForge. We show that our solution performed well on this task. We also show that our solution significantly outperformed existing ontology alignment solutions (including our previously published work on BLOOMS) on this same task.
JA - 8th Extended Semantic Web Conference, ESWC 2011
PB - Proceedings of 8th Extended Semantic Web Conference, ESWC 2011
CY - Greece
ER -
TY - CONF
T1 - Local Closed World Reasoning: Grounded Circumscription for OWL
T2 - The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011
Y1 - 2011
A1 - Kunal Sengupta
A1 - Adila Alfa Krisnadhi
A1 - Pascal Hitzler
AB - We present a new approach to adding closed world reasoning to the Web Ontology Language OWL. It transcends previous work on circumscriptive description logics which had the drawback of yielding an undecidable logic unless severe restrictions were imposed. In particular, it was not possible, in general, to apply local closure to roles. In this paper, we provide a new approach, called grounded circumscrip- tion, which is applicable to SROIQ and other description logics around OWL without these restrictions. We show that the resulting language is decidable, and we derive an upper complexity bound. We also provide a decision procedure in the form of a tableaux algorithm.
JA - The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011
PB - Proceedings, Part I. Lecture Notes in Computer Science Vol. 7031, Springer, Heidelberg, 2011
CY - Bonn, Germany
ER -
TY - CONF
T1 - Local closed world semantics: grounded circumscription for description logics
T2 - Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011
Y1 - 2011
A1 - Kunal Sengupta
A1 - Adila Alfa Krisnadhi
A1 - Pascal Hitzler
KW - circumscription
KW - Description Logic
KW - local closed world
AB - We present an improved local closed world extension for description logics. It is based on circumscription, and deviates from previous circumscriptive description logics [1,3] in that extensions of minimized predicates may contain only extensions of named individuals in the knowledge base. Besides an (arguably) higher intuitive appeal, the improved semantics is applicable to expressive description logics without loss of decidability.
JA - Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011
PB - Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011
CY - Galway, Ireland
ER -
TY - CONF
T1 - Local Closed World Semantics: Keep it simple, stupid!
T2 - Local Closed World Semantics: Keep it simple, stupid!
Y1 - 2011
A1 - Adila Alfa Krisnadhi
A1 - Kunal Sengupta
A1 - Pascal Hitzler
KW - circumscription
KW - closed world
KW - decidability
KW - Description Logic
JA - Local Closed World Semantics: Keep it simple, stupid!
ER -
TY - JOUR
T1 - Local Closed-World Reasoning with Description Logics under the Well-founded Semantics
Y1 - 2011
A1 - Matthias Knorr
A1 - Jose Julio Alferes
A1 - Pascal Hitzler
KW - Description logics and ontologies
KW - Knowledge Representation
KW - logic programming
KW - Non-monotonic reasoning
KW - Semantic Web
AB - An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.
ER -
TY - CONF
T1 - Nominal Schemas for Integrating Rules and Description Logics
Y1 - 2011
A1 - Markus Krotzsch
A1 - Frederick Maier
A1 - Adila Alfa Krisnadhi
A1 - Pascal Hitzler
AB - We propose an extension of SROIQ with nominal schemas which can be used like Âvariable nominal conceptsÂ within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.
ER -
TY - ABST
T1 - OWL and Rules
Y1 - 2011
A1 - Adila Alfa Krisnadhi
A1 - Frederick Maier
A1 - Pascal Hitzler
AB - The relationship between the Web Ontology Language OWL and rule-based formalisms has been the subject of many discussions and research investigations, some of them controversial. From the many attempts to reconcile the two paradigms, we present some of the newest developments. More precisely, we show which kind of rules can be modeled in the current version of OWL, and we show how OWL can be extended to incorporate rules without compromising OWL design principles.
PB - Reasoning Web. Semantic Technologies for the Web of Data. 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011
ER -
TY - CONF
T1 - Paraconsistent Semantics for Hybrid MKNF Knowledge Bases
T2 - Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011
Y1 - 2011
A1 - Shasha Huang
A1 - Qingguo Li
A1 - Pascal Hitzler
AB - Hybrid MKNF knowledge bases, originally based on the stable model semantics, is a mature method of combining rules and Description Logics (DLs). The well-founded semantics for such knowledge bases has been proposed subsequently for better efficiency of reasoning. However, integration of rules and DLs may give rise to inconsistencies, even if they are respectively consistent. Accordingly, reasoning systems based on the previous two semantics will break down. In this paper, we employ the four-valued logic proposed by Belnap, and present a paraconsistent semantics for Hybrid MKNF knowledge bases, which can detect inconsistencies and handle it effectively. Besides, we transform our proposed semantics to the stable model semantics via a linear transformation operator, which indicates that the data complexity in our paradigm is not higher than that of classical reasoning. Moreover, we provide a fixpoint algorithm for computing paraconsistent MKNF models.
JA - Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011
PB - Proceedings. Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011
CY - Galway, Ireland
ER -
TY - ABST
T1 - Reconciling OWL and Rules
Y1 - 2011
A1 - David Carral Martinez
A1 - Adila Alfa Krisnadhi
A1 - Frederick Maier
A1 - Kunal Sengupta
A1 - Pascal Hitzler
KW - OWL and description logic and decidability and local closed world and reasoningalgorithms and rules and datalog
AB - We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as nominal schemas, which realizes a seamless integration of Datalog rules into the description logic SROIQ which underlies OWL 2 DL. We present extensions of the standardized OWL syntaxes to incorporate nominal schemas, reasoning algorithms, and a rst naive implementation. And we argue why this approach goes a long way towards overcoming the present paradigm split.
ER -
TY - CONF
T1 - Representation of Parsimonious Covering Theory in OWL-DL
T2 - 8th International Workshop on OWL: Experiences and Directions (OWLED 2011)
Y1 - 2011
A1 - Cory Henson
A1 - Krishnaprasad Thirunarayan
A1 - Amit Sheth
A1 - Pascal Hitzler
KW - OWL and Abductive Reasoning and Parsimonious Covering Theory
AB - The Web Ontology Language has not been designed for representing abductive inference, which is often required for applications such as medical disease diagnosis. As a consequence, existing OWL ontologies have limited ability to encode knowledge for such applications. In the last 150 years, many logic frameworks for the representation of abductive inference have been developed. Among these frameworks, Parsimonious Covering Theory (PCT) has achieved wide recognition. PCT is a formal model of diagnostic reasoning in which knowledge is represented as a network of causal associations, and whose goal is to account for observed symptoms with plausible explanatory hypotheses. In this paper, we argue that OWL does provide some of the expressivity required to approximate diagnostic reasoning, and outline a suitable encoding of PCT in OWL-DL.
JA - 8th International Workshop on OWL: Experiences and Directions (OWLED 2011)
CY - San Francisco, California
ER -
TY - JOUR
T1 - Semantic Web surveys and applications.
Y1 - 2011
A1 - Krzysztof Janowicz
A1 - Pascal Hitzler
ER -
TY - JOUR
T1 - Semantic Web Tools and Systems.
JF - Semantic Web – Interoperability, Usability, Applicability
Y1 - 2011
A1 - Pascal Hitzler
A1 - Krzysztof Janowicz
AB - Semantic Web research relies on a number of key methodologies such as knowledge representation languages or reasoning algorithms. As a research community, however, we could not progress based on these methodologies exclusively, but require tools and systems that realize our research results as key technologies for the Semantic Web.
PB - IOS Press
ER -
TY - CONF
T1 - What's happening in Semantic Web ... and what FCA could have to do with it.
T2 - What's happening in Semantic Web ... and what FCA could have to do with it
Y1 - 2011
A1 - Pascal Hitzler
AB - The Semantic Web [27] is gaining momentum. Driven by over 10 years of focused project funding in the US and the EU, Semantic Web Technologies are now entering application areas in industry, academia, government, and the open Web. The Semantic Web is based on the idea of describing the meaning - or semantics - of data on the Web using metadata - data that describes other data - in the form of ontologies, which are represented using logic-based knowledge representation languages [26]. Central to the transfer of Semantic Web into practice is the Linked Open Data effort [7], which has already resulted in the publication, on the Web, of billions of pieces of information using ontology languages. This provides the basic data needed for establishing intelligent system applications on the Web in the tradition of Semantic Web Technologies.
JA - What's happening in Semantic Web ... and what FCA could have to do with it
PB - Lecture Notes in Artificial Intelligence 6628, Springer, Heidelberg
CY - Formal Concept Analysis, 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2011
ER -
TY - CONF
T1 - What's happening in Semantic Web ... and what FCA could have to do with it
Y1 - 2011
A1 - Pascal Hitzler
ER -
TY - CONF
T1 - Approximate Instance Retrieval on Ontologies
T2 - 21st International Conference, DEXA 2010
Y1 - 2010
A1 - Tuvshintur Tserendorj
A1 - Stephan Grimm
A1 - Pascal Hitzler
AB - With the development of more expressive description logics(DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexity for efficient reasoning. In application cases that require scalable reasoning with expressive ontologies, non-standard reasoning solutions such as approximate reasoning are necessary to tackle the intractability of reasoning in expressive DLs. In this paper, we are concerned with the approximation of the reasoning task of instance retrieval on DL knowledge bases, trading correctness of retrieval results for gain of speed. We introduce our notion of an approximate concept extension and we provide implementations to compute an approximate answer for a concept query by a suitable mapping to efficient database operations. Furthermore, we report on experiments of our approach on instance retrieval with the Wine ontology and discuss first results in terms of error rate and speed-up.
JA - 21st International Conference, DEXA 2010
CY - Bilbao, Spain
ER -
TY - JOUR
T1 - Computational Complexity and Anytime Algorithm for Inconsistency Measurement
JF - International Journal of Software and Informatics
Y1 - 2010
A1 - Yue Ma
A1 - Guilin Qi
A1 - Guohui Xiao
A1 - Pascal Hitzler
A1 - Zuoquan Lin
KW - algorithm
KW - computational complexity
KW - inconsistency measurement
KW - multi-valued logic
AB - Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of propositional knowledge bases under 4-valued semantics. We first give a complete analysis of the computational complexity of computing inconsistency degrees. As it turns out that computing the exact inconsistency degree is intractable, we then propose an anytime algorithm that provides tractable approximations of the inconsistency degree from above and below. We show that our algorithm satisfies some desirable properties and give experimental results of our implementation of the algorithm.
ER -
TY - JOUR
T1 - Concept Learning in Description Logics Using Refinement Operators
JF - Machine Learning
Y1 - 2010
A1 - Jens Lehmann
A1 - Pascal Hitzler
KW - description logics
KW - Inductive logic programming
KW - Refinement operators
KW - Semantic Web
KW - Structured machine learning
AB - With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, is constrained by the lack of well-structured knowledge bases consisting of a sophisticated schema and instance data adhering to this schema. It is paramount that suitable automated methods for their acquisition, maintenance, and evolution will be developed. In this paper, we provide a learning algorithm based on refinement operators for the description logic ALCQ including support for concrete roles. We develop the algorithm from thorough theoretical foundations by identifying possible abstract property combinations which refinement operators for description logics can have. Using these investigations as a basis, we derive a practically useful complete and proper refinement operator. The operator is then cast into a learning algorithm and evaluated using our implementation DL-Learner. The results of the evaluation show that our approach is superior to other learning approaches on description logics, and is competitive with established ILP systems.
ER -
TY - Generic
T1 - Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton
T2 - ESWC 2011
Y1 - 2010
A1 - Prateek Jain
A1 - Peter Yeh
A1 - Kunal Verma
A1 - Reymonrod Vasquez
A1 - Mariana Damova
A1 - Pascal Hitzler
A1 - Amit Sheth
KW - ontology alignment and lod and proton
JA - ESWC 2011
PB - Springer
CY - Heraklion, Greece
VL - 6643
ER -
TY - Generic
T1 - Distance-based Measures of Inconsistency and Incoherency for Description Logics
Y1 - 2010
A1 - Yue Ma
A1 - Pascal Hitzler
AB - Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they have been used to detect modeling errors during ontology construction. To provide more informative metrics which can tell the differences between inconsistent ontologies and between incoherent terminologies, there has been some work on measuring inconsistency of an ontology and on measuring incoherency of a terminology. However, most of them merely focus either on measuring inconsistency or on measuring incoherency and no clear ideas of how to extend them to allow for the other. In this paper, we propose a novel approach to measure DL ontologies, named distance-based measures. It has the merits that both inconsistency and incoherency can be measured in a unified framework. Moreover, only classical DL interpretations are used such that there is no restriction on the DL languages used.
PB - 23rd International Workshop on Description Logics (DL2010)
CY - Waterloo, Canada
ER -
TY - JOUR
T1 - Extracting Reduced Logic Programs from Artificial Neural Networks
Y1 - 2010
A1 - Jens Lehmann
A1 - Sebastian Bader
A1 - Pascal Hitzler
KW - artificial neural networks
KW - reduced logic programs
AB - Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis problems, the acquired knowledge remains hidden within the network architecture and is not readily accessible for analysis or further use: Trained networks are *black boxes*. Recent research efforts therefore investigate the possibility to extract symbolic knowledge from trained networks, in order to analyze, validate, and reuse the structural insights gained implicitly during the training process. In this paper, we will study how knowledge in form of propositional logic programs can be obtained in such a way that the programs are as *simple* as possible - where *simple* is being understood in some clearly defined and meaningful way.
ER -
TY - CONF
T1 - Flexible Bootstrapping-Based Ontology Alignment
Y1 - 2010
A1 - Prateek Jain
A1 - Pascal Hitzler
A1 - Amit Sheth
KW - Ontology Matching and Wikipedia and BLOOMS and Plug-n-Play Ontology Matching System
AB - BLOOMS (Jain et al, ISWC2010) is an ontology alignment system which, in its core, utilizes the Wikipedia category hierarchy for establishing alignments. In this paper, we present a Plug-and-Play extension to BLOOMS, which allows to flexibly replace or complement the use of Wikipedia by other online or offline resources, including domain-specific ontologies or taxonomies. By making use of automated translation services and of Wikipedia in languages other than English, it makes it possible to apply BLOOMS to alignment tasks where the input ontologies are written in different languages.
PB - The Fifth International Workshop on Ontology Matching collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010
ER -
TY - BOOK
T1 - Foundations of Semantic Web Technologies
Y1 - 2010
A1 - Pascal Hitzler
A1 - Markus Krotzsch
A1 - Sebastian Rudolph
KW - foundations of semantic web
KW - foundations of semantic web technologies
ER -
TY - JOUR
T1 - Generalized Distance Functions in the Theory of Computation
JF - The Computer Journal
Y1 - 2010
A1 - Anthony K. Seda
A1 - Pascal Hitzler
KW - denotational semantics
KW - fixed-point theorems
KW - logic programming
KW - stable model
KW - supported model
KW - topology
KW - ultra-metrics
AB - We discuss a number of distance functions encountered in the theory of computation, including metrics, ultra-metrics, quasi-metrics, generalized ultrametrics, partial metrics, d-ultra-metrics, and generalized metrics. We consider their properties, associated fixed-point theorems, and some general applications they have within the theory of computation. We consider in detail the applications of generalized distance functions in giving a uniform treatment of several important semantics for logic programs, including acceptable programs and natural generalizations of them, and also the supported model and the stable model in the context of locally stratified extended disjunctive logic programs and databases.
ER -
TY - CONF
T1 - How To Make Linked Data More than Data
T2 - Semantic Technology Conference 2010
Y1 - 2010
A1 - Prateek Jain
A1 - Pascal Hitzler
A1 - Amit Sheth
A1 - Peter Z. Yeh
A1 - Kunal Verma
KW - Linked Open Data
KW - Lod federated query
KW - LoD ontology
KW - LoD Schema
KW - LoD Schema Entichment
KW - LoD Semantic Enrichment
KW - SPARQL federated query
AB - The LOD cloud has a potential for applicability in many AI-related tasks, such as open domain question answering, knowledge discovery, and the Semantic Web. An important prerequisite before the LOD cloud can enable these goals is allowing its users (and applications) to effectively pose queries to and retrieve answers from it. However, this prerequisite is still an open problem for the LOD cloud and has restricted it to 'merely more data.' To transform the LOD cloud from 'merely more data' to 'semantically linked data' there are plenty of open issues which should be addressed. We believe this transformation of the LOD cloud can be performed by addressing the shortcomings identified by us: lack of conceptual description of datasets, lack of expressivity, and difficulties with respect to querying.
JA - Semantic Technology Conference 2010
CY - San Francisco, California
ER -
TY - CONF
T1 - Learning Paradigms in Dynamic Environments
T2 - Dagstuhl Seminar Proceedings 10302
Y1 - 2010
A1 - Barbara Hammer
A1 - Pascal Hitzler
A1 - Wolfgang Maass
A1 - Marc Toussaint
AB - The seminar centered around problems which arise in the context of machine learning in dynamic environments. Particular emphasis was put on a couple of specific questions in this context: how to represent and abstract knowledge appropriately to shape the problem of learning in a partially unknown and complex environment and how to combine statistical inference and abstract symbolic representations; how to infer from few data and how to deal with non i.i.d. data, model revision and life-long learning; how to come up with efficient strategies to control realistic environments for which exploration is costly, the dimensionality is high and data are sparse; how to deal with very large settings; and how to apply these models in challenging application areas such as robotics, computer vision, or the web.
JA - Dagstuhl Seminar Proceedings 10302
PB - Schloss Dagstuhl
CY - Dagstuhl, Germany
ER -
TY - Generic
T1 - Linked Data is Merely More Data
T2 - 2010 AAAI Spring Symposium
Y1 - 2010
A1 - Prateek Jain
A1 - Pascal Hitzler
A1 - Peter Z. Yeh
A1 - Kunal Verma
A1 - Amit Sheth
KW - Artificial Intelligence
KW - Linked Data
KW - Semantic Web
KW - Web of Data
AB - In this position paper, we argue that the Linked Open Data (LoD) Cloud, in its current form, is only of limited value for furthering the Semantic Web vision. Being merely a weakly linked 'triple collection', it will only be of very limited benefit for the AI or Semantic Web communities. We describe the corresponding problems with the LoD Cloud and give directions for research to remedy the situation.
JA - 2010 AAAI Spring Symposium
PB - AAAI Press
CY - Menlo Park, California
SN - 978-1-57735-461-1
ER -
TY - CONF
T1 - A MapReduce Algorithm for EL+
T2 - 23rd International Workshop on Description Logics (DL2010)
Y1 - 2010
A1 - Raghava Mutharaju
A1 - Frederick Maier
A1 - Pascal Hitzler
AB - Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion RDF triples within a reasonable time span [22], and that it is also possible to carry the approach over to OWL Horst [21]. Following this lead, in this paper we provide a MapReduce algorithm for the description logic EL+, more precisely for the classification of EL+ ontologies. To do this, we first modify the algorithm usually used for EL+ classification. The modified algorithm can then be converted into a MapReduce algorithm along the same key ideas as used for RDF schema.
JA - 23rd International Workshop on Description Logics (DL2010)
CY - Waterloo, Canada
ER -
TY - BOOK
T1 - Mathematical Aspects of Logic Programming Semantics
Y1 - 2010
A1 - Anthony K. Seda
A1 - Pascal Hitzler
ER -
TY - ABST
T1 - Nominal Schemas for Integrating Rules and Ontologies.
Y1 - 2010
A1 - Frederick Maier
A1 - Adila Alfa Krisnadhi
A1 - Pascal Hitzler
KW - Web Ontology Language and Description Logic and SROIQ and Semantic Web Rule Language and Datalog and tractability
AB - We propose a description-logic style extension of OWL DL, which includes DL-safe variable SWRL and seamlessly integrates datalog rules. Our language also sports a tractable fragment, which we call ELP 2, covering OWL EL, OWL RL, most of OWL QL, and variable restricted datalog.
ER -
TY - CONF
T1 - Ontology Alignment for Linked Open Data
T2 - 9th International Semantic Web Conference
Y1 - 2010
A1 - Prateek Jain
A1 - Pascal Hitzler
A1 - Amit Sheth
A1 - Kunal Verma
A1 - Peter Z. Yeh
KW - BLOOMS
KW - Linked Open Data
KW - Linked Open Data Schema Matching
KW - ontology alignment
KW - Schema Alignment
KW - Wikipedia
AB - The Web of Data currently coming into existence through the Linked Open Data (LOD) effort is a major milestone in realizing the Semantic Web vision. However, the development of applications based on LOD faces difficulties due to the fact that the different LOD datasets are rather loosely connected pieces of information. In particular, links between LOD datasets are almost exclusively on the level of instances, and schema-level information is being ignored. In this paper, we therefore present a system for finding schema-level links between LOD datasets in the sense of ontology alignment. Our system, called BLOOMS, is based on the idea of bootstrapping information already present on the LOD cloud. We also present a comprehensive evaluation which shows that BLOOMS outperforms state-of-the-art ontology alignment systems on LOD datasets. At the same time, BLOOMS is also competitive compared with these other systems on the Ontology Evaluation Alignment Initiative Benchmark datasets.
JA - 9th International Semantic Web Conference
CY - Shanghai, China
ER -
TY - JOUR
T1 - Perspectives and Challenges for Recurrent Neural Network Training
JF - Logic Journal of the IGPL
Y1 - 2010
A1 - Marco Gori
A1 - Barbara Hammer
A1 - Pascal Hitzler
A1 - Guenther Palm
KW - neural network training challenges
AB - Recurrent neural networks (RNNs) offer flexible machine learning tools which share the learning abilities of feedforward networks and which extend their expression abilities based on dynamical equations. Hence, they can directly process complex spatiotemporal data and model complex dynamic systems. Since temporal and spatial data are present in many domains such as processing environmental time series, modelling the financial market, speech and language processing, robotics, bioinformatics, medical informatics, etc., RNNs constitute promising candidates for a variety of applications. Further, their rich dynamic repertoire as time dependent systems makes them suitable candidates for modelling brain phenomena or mimicking large-scale distributed computations and argumentations. Thus, RNNs carry the promise of efficient biologically plausible signal processing models optimally suited for a wide area of industrial applications on the one hand and an explanation of cognitive phenomena of the human brain on the other hand.
ER -
TY - Generic
T1 - Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data
T2 - Scientific and Statistical Database Management (SSDBM 2010)
Y1 - 2010
A1 - Satya Sahoo
A1 - Olivier Bodenreider
A1 - Krishnaprasad Thirunarayan
A1 - Pascal Hitzler
A1 - Amit Sheth
KW - Provenir ontology and Provenance context entity and Biomedical knowledge repository and Context theory and RDF reification
AB - The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, describing the source or lineage of the datasets, is playing an increasingly significant role in ensuring data quality, computing trust value of the datasets, and ranking query results. Current provenance tracking approaches using the RDF reification vocabulary suffer from a number of known issues, including lack of formal semantics, use of blank nodes, and application-dependent interpretation of reified RDF triples. In this paper, we introduce a new approach called Provenance Context Entity (PaCE) that uses the notion of provenance context to create provenance-aware RDF triples. We also define the formal semantics of PaCE through a simple extension of the existing RDF(S) semantics that ensures compatibility of PaCE with existing Semantic Web tools and implementations. We have implemented the PaCE approach in the Biomedical Knowledge Repository (BKR) project at the US National Library of Medicine. The evaluations demonstrate a minimum of 49% reduction in total number of provenance-specific RDF triples generated using the PaCE approach as compared to RDF reification. In addition, performance for complex queries improves by three orders of magnitude and remains comparable to the RDF reification approach for simpler provenance queries.
JA - Scientific and Statistical Database Management (SSDBM 2010)
CY - Heidelberg, Germany
VL - 6187
ER -
TY - CONF
T1 - Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data
T2 - SSDBM2010
Y1 - 2010
A1 - Satya S. Sahoo
A1 - Krishnaprasad Thirunarayan
A1 - Olivier Bodenreider
A1 - Pascal Hitzler
A1 - Amit Sheth
KW - Biomedical knowledge repository
KW - Context theory
KW - domain specific provenance
KW - Model theoretic semantics
KW - PACE
KW - PrOM
KW - Provenance context
KW - Provenance context entity
KW - Provenance Management Framework
KW - Provenir ontology
KW - RDF reification
KW - semantic provenance
AB - The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, describing the source or lineage of the datasets, is playing an increasingly significant role in ensuring data quality, computing trust value of the datasets, and ranking query results. Current provenance tracking approaches using the RDF reification vocabulary suffer from a number of known issues, including lack of formal semantics, use of blank nodes, and application-dependent interpretation of reified RDF triples. In this paper, we introduce a new approach called Provenance Context Entity (PaCE) that uses the notion of provenance context to create provenance-aware RDF triples. We also define the formal semantics of PaCE through a simple extension of the existing RDF(S) semantics that ensures compatibility of PaCE with existing Semantic Web tools and implementations. We have implemented the PaCE approach in the Biomedical Knowledge Repository (BKR) project at the US National Library of Medicine. The evaluations demonstrate a minimum of 49% reduction in total number of provenance-specific RDF triples generated using the PaCE approach as compared to RDF reification. In addition, performance for complex queries improves by three orders of magnitude and remains comparable to the RDF reification approach for simpler provenance queries.
JA - SSDBM2010
PB - The 22nd International Conference on Scientific and Statistical Database Management (SSDBM) 2010
ER -
TY - JOUR
T1 - A Reasonable Semantic Web
JF - Semantic Web – Interoperability, Usability, Applicability
Y1 - 2010
A1 - Frank Van Harmelen
A1 - Pascal Hitzler
KW - Automated Reasoning
KW - Formal Semantics
KW - KnowledgeRepresentation
KW - Linked Open Data
AB - The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenges, which forces us to question established lines of research and to rethink the underlying approaches. We argue that reasoning for the Semantic Web should be understood as 'shared inference,' which is not necessarily based on deductive methods. Model-theoretic semantics (and sound and complete reasoning based on it) functions as a gold standard, but applications dealing with large-scale and noisy data usually cannot afford the required runtimes. Approximate methods, including deductive ones, but also approaches based on entirely different methods like machine learning or natureinspired computing need to be investigated, while quality assurance needs to be done in terms of precision and recall values (as in information retrieval) and not necessarily in terms of soundness and completeness of the underlying algorithms.
PB - IOS Press
ER -
TY - JOUR
T1 - Semantic Web - Interoperability, Usability, Applicability
JF - Semantic Web
Y1 - 2010
A1 - Pascal Hitzler
A1 - Krzysztof Janowicz
KW - Applicability
KW - Interoperability
KW - Semantic Web
KW - Usability
AB - While this statement seems obvious, this has not been so a few years ago, when basic research funding seemed to be running out, and industrial uptake was hardly happening. In the meantime, we do not only see sustained funding for Semantic Web related research (in particular by the European Commission), but also significant investment by industry, including major IT and venture capital companies. The Semantic Web is here to stay – and to grow. The Semantic Web is multidisciplinary and heterogeneous. Many Semantic Web researchers maintain close ties to neighboring disciplines which provide methods or application areas for their work. However, the Semantic Web has now established itself as a research field in its own rights. Consequently, a growing number of researchers, in particular those of the second or third generation, seem to identify themselves with the Semantic Web as their primary field of work. The growing number of top quality events dedicated to Semantic Web topics is also a clear indication of this trend. Another indicator is the increasing interweavement of Semantic Web methods into related disciplines leading to research topics such as geospatialsemantics, the Semantic Sensor Web, semantic desktop, or work on cultural heritage
PB - IOS Press
VL - 1
ER -
TY - CONF
T1 - An Anytime Algorithm for Computing Inconsistency Measurement
T2 - Third International Conference, KSEM 2009
Y1 - 2009
A1 - Yue Ma
A1 - Guilin Qi
A1 - Guohui Xiao
A1 - Zuoquan Lin
A1 - Pascal Hitzler
AB - Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of propositional knowledge bases under 4-valued semantics. We first analyze its computational complexity. As it turns out that computing the exact inconsistency degree is intractable, we then propose an anytime algorithm that provides tractable approximation of the inconsistency degree from above and below.We show that our algorithm satisfies some desirable properties and give experimental results of our implementation of the algorithm.
JA - Third International Conference, KSEM 2009
ER -
TY - CONF
T1 - An Evolutionary Computing Approach for Reasoning in the Semantic Web
Y1 - 2009
A1 - Sebastian Rudolph
A1 - Gaston Tagni
A1 - Christophe Gueret
A1 - Stefan Schlobach
A1 - Pascal Hitzler
PB - International Workshop on Collective Intelligence and Evolution
ER -
TY - JOUR
T1 - Facets of Artificial General Intelligence
JF - Kunstliche Intelligenz
Y1 - 2009
A1 - Kai-Uwe Kuhnberger
A1 - Pascal Hitzler
AB - We argue that time has come for a serious endeavor to work towards artificial general intelligence (AGI). This positive assessment of the very possibility of AGI has partially its roots in the development of new methodological achievements in the AI area, like new learning paradigms and new integration techniques for different methodologies. The article sketches some of these methods as prototypical examples for approaches towards AGI.
ER -
TY - BOOK
T1 - Foundations of Semantic Web Technologies
Y1 - 2009
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
ER -
TY - CHAP
T1 - Ontologies and Rules
Y1 - 2009
A1 - Bijan Parsia
A1 - Pascal Hitzler
KW - OWL
KW - Web Ontology Language
AB - The Web Ontology Language OWL, as introduced in Chapter 4, is the language recommended by the World Wide Web consortium (W3C) for expressing ontologies for the Semantic Web. OWL is based on Description Logics, see Chapter 1, and as such is based on first-order predicate logic as underlying knowledge representation and reasoning paradigm.
ER -
TY - CONF
T1 - Paraconsistent Reasoning for OWL 2
T2 - Third International Conference, RR
Y1 - 2009
A1 - Yue Ma
A1 - Pascal Hitzler
AB - A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basid description logic ALC. In this paper, we further study how to extend the four-valued semantics to the more expressive description logic SROIQ which underlies the forthcoming revision of the Web Ontology Language, OWL 2, and also investigate how it fares when adapated to tractable description logics including EL++, DL-Lite, and Horn-DLs. We define the four-valued semantics along the same lines as for ALC and show that we can retain most of the desired properties.
JA - Third International Conference, RR
PB - Web Reasoning and Rule Systems, Third International Conference, RR 2009
CY - Chantilly, VA, USA
ER -
TY - CONF
T1 - A Preferential Tableaux Calculus for Circumscriptive ALCO
T2 - International Conference, RR
Y1 - 2009
A1 - Stephan Grimm
A1 - Pascal Hitzler
AB - Nonmonotonic extensions of description logics (DLs) allow for default and local closed-world reasoning and are an acknowledged desired feature for applications, e.g. in the Semantic Web. A recent approach to such an extension is based on McCarthy's circumscription, which rests on the principle of minimising the extension of selected predicates to close off dedicated parts of a domain model. While decidability and complexity results have been established in the literature, no practical algorithmisation for circumscriptive DLs has been proposed so far. In this paper, we present a tableaux calculus that can be used as a decision procedure for concept satisfiability with respect to concept circumscribed ALCO knowledge bases. The calculus builds on existing tableaux for classical DLs, extended by the notion of a preference clash to detect the non-minimality of constructed models.
JA - International Conference, RR
PB - International Conference, RR 2009
CY - Chantilly, VA, USA
ER -
TY - ABST
T1 - PrOM: A Semantic Web Framework for Provenance Management in Science
Y1 - 2009
A1 - Amit Sheth
A1 - Pascal Hitzler
A1 - Krishnaprasad Thirunarayan
A1 - Satya S. Sahoo
A1 - Roger Barga
AB - The eScience paradigm is enabling researchers to collaborate over the Web in virtual laboratories and conduct experiments on an industrial scale. But, the inherent variability in the quality and trust associated with eScience resources necessitates the use of provenance information describing the origin of an entity. Existing systems often model provenance using ambiguous terminology, have poor domain semantics and include modeling inconsistencies that hinders interoperability. Further, mere collection of provenance information is of little value without a well-defined and scalable query mechanism. In this paper, we present 'PrOM', a framework that addresses both the modeling and querying issues in eScience provenance management. The theoretical underpinning for PrOM consists of, (a) a novel foundational ontology for provenance representation called 'Provenir', and (b) the first set of query operators to be defined for provenance query and analysis. The PrOM framework also includes a scalable provenance query engine that supports complex queries (high 'expression complexity') over a very large real world dataset with 308 million RDF triples. The query engine uses a new class of materialized views for query optimization that confers significant advantages (up to three orders of magnitude) in query performance.
ER -
TY - CONF
T1 - Suggestions for OWL 3
Y1 - 2009
A1 - Pascal Hitzler
AB - With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss them with the OWL user community. They encompass expressive extensions on polynomial OWL 2 profiles, a suggestion for an OWL Rules language, and expressive extensions for OWL DL.
PB - 5th International Workshop on OWL: Experiences and Directions (OWLED 2009)
ER -
TY - CONF
T1 - Towards Reasoning Pragmatics
T2 - Third International Conference, GeoS
Y1 - 2009
A1 - Pascal Hitzler
AB - The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenges, which force us to question established lines of research and to rethink the underlying approaches.
JA - Third International Conference, GeoS
CY - Mexico City, Mexico
ER -
TY - CONF
T1 - Approximate OWL Instance Retrieval with Screech
T2 - Approximate OWL Instance Retrieval with Screech
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Tuvshintur Tserendorj
A1 - Pascal Hitzler
AB - With the increasing interest in expressive ontologies for the Semantic Web, it is critical to develop scalable and efficient ontology reasoning techniques that can properly cope with very high data volumes. For certain application domains, approximate reasoning solutions, which trade soundness or completeness for increased reasoning speed, will help to deal with the high computational complexities which state of the art ontology reasoning tools have to face. In this paper, we present a comprehensive overview of the SCREECH approach to approximate instance retrieval with OWL ontologies, which is based on the KAON2 algorithms, facilitating a compilation of OWL DL TBoxes into Datalog, which is tractable in terms of data complexity. We present three different instantiations of the Screech approach, and report on experiments which show that the gain in efficiency outweighs the number of introduced mistakes in the reasoning process.
JA - Approximate OWL Instance Retrieval with Screech
ER -
TY - CONF
T1 - Approximate OWL-Reasoning with Screech
T2 - International Conference, RR 2008
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Tuvshintur Tserendorj
A1 - Pascal Hitzler
AB - Applications of expressive ontology reasoning for the Semantic Web require scalable algorithms for deducing implicit knowledge from explicitly given knowledge bases. Besides the development of more efficient such algorithms, awareness is rising that approximate reasoning solutions will be helpful and needed for certain application domains. In this paper, we present a comprehensive overview of the Screech approach to approximate reasoning with OWL ontologies, which is based on the KAON2 algorithms, facilitating a compilation of OWL DL TBoxes into Datalog, which is tractable in terms of data complexity.We present three different instantiations of the Screech approach, and report on experiments which show that a significant gain in efficiency can be achieved.
JA - International Conference, RR 2008
PB - Second International Conference, RR 2008
CY - Karlsruhe, Germany
ER -
TY - CONF
T1 - Cheap Boolean Role Constructors for Description Logics
T2 - 11th European Conference on Logics in Artificial Intelligence (JELIA)
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today's most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs SHOIQ and SROIQ, serving as the logical underpinning of OWL and the forthcoming OWL 2, can accommodate arbitrary Boolean expressions. The prominent OWL-fragment SHIQ can be safely extended by safe role expressions, and the tractable fragments EL++ and DLP retain tractability if extended by conjunction on roles, where in the case of DLP the restriction on role simplicity can even be discarded.
JA - 11th European Conference on Logics in Artificial Intelligence (JELIA)
CY - Dresden, Germany
ER -
TY - CONF
T1 - A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
T2 - 18th European Conference on Artificial Intelligence, ECAI
Y1 - 2008
A1 - Matthias Knorr
A1 - Jose Julio Alferes
A1 - Pascal Hitzler
AB - With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. One of the most mature proposals for this combination is known as Hybrid MKNF knowledge bases [11], which is based on an adaptation of the stable model semantics to knowledge bases consisting of ontology axioms and rules. In this paper, we propose a well-founded semantics for such knowledge bases which promises to provide better efficiency of reasoning, which is compatible both with the OWL-based semantics and the traditional well-founded semantics for logic programs, and which surpasses previous proposals for such a well-founded semantics by avoiding some issues related to inconsistency handling.
JA - 18th European Conference on Artificial Intelligence, ECAI
PB - 18th European Conference on Artificial Intelligence, ECAI 2008
CY - Patras, Greece
ER -
TY - JOUR
T1 - Connectionist Model Generation: A First-Order Approach
JF - Neurocomputing
Y1 - 2008
A1 - Sebastian Bader
A1 - Steffen Holldobler
A1 - Pascal Hitzler
KW - Connectionist Model Generation
KW - First-Order Logic Programs
KW - Neural-Symbolic Integration
KW - Recurrent RBF Networks
AB - Knowledge based artificial neural networks have been applied quite successfully to propositional knowledge representation and reasoning tasks. However, as soon as these tasks are extended to structured objects and structure-sensitive processes as expressed e.g., by means of first-order predicate logic, it is not obvious at all what neural symbolic systems would look like such that they are truly connectionist, are able to learn, and allow for a declarative reading and logical reasoning at the same time. The core method aims at such an integration. It is a method for connectionist model generation using recurrent networks with feed-forward core.We show in this paper how the core method can be used to learn first-order logic programs in a connectionist fashion, such that the trained network is able to do reasoning over the acquired knowledge. We also report on experimental evaluations which show the feasibility of our approach.
ER -
TY - CONF
T1 - Defeasible Inference with Circumscriptive OWL Ontologies
Y1 - 2008
A1 - Stephan Grimm
A1 - Pascal Hitzler
AB - The Web Ontology Language (OWL) adheres to the openworld assumption and can thus not be used for forms of nonmonotonic reasoning or defeasible inference, an acknowledged desirable feature in open Semantic Web environments. We investigate the use of the formalism of circumscriptive description logics (DLs) to realise defeasible inference within the OWL framework. By example, we demonstrate how reasoning with (restricted) circumscribed OWL ontologies facilitates various forms of defeasible inference, also in comparison to alternative approaches. Moreover, we sketch an extension to DL tableaux for handling the circumscriptive case and report on a preliminary implementation.
PB - 5th European Semantic Web Conference, ESWC08
ER -
TY - CONF
T1 - Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
T2 - The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - We propose a novel method for reasoning in the description logic SHIQ. After a satisfiability preserving transformation from SHIQ to the description logic ALCIb, the obtained ALCIb Tbox T is converted into an ordered binary decision diagram (OBDD) which represents a canonical model for T. This OBDD is turned into a disjunctive datalog program that can be used for Abox reasoning. The algorithm is worst-case optimal w.r.t. data complexity, and admits easy extensions with DL-safe rules and ground conjunctive queries.
JA - The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
PB - The Semantic Web - ISWC 2008, 7th International Semantic Web Conference
CY - Karlsruhe, Germany
ER -
TY - CONF
T1 - Description Logic Rules
T2 - 18th European Conference on Artificial Intelligence, ECAI
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases. In contrast to SWRL, however, the combination of DL rules with expressive description logics remains decidable, and we show that the DL SROIQ - the basis for the ongoing standardisation of OWL 2 - can completely internalise DL rules. On the other hand, DL rules capture many expressive features of SROIQ that are not available in simpler DLs yet. While reasoning in SROIQ is highly intractable, it turns out that DL rules can be introduced to various lightweight DLs without increasing their worst-case complexity. In particular, DL rules enable us to significantly extend the tractable DLs EL++ and DLP.
JA - 18th European Conference on Artificial Intelligence, ECAI
CY - Patras, Greece
ER -
TY - CONF
T1 - ELP: Tractable Rules for OWL 2
T2 - ELP: Tractable Rules for OWL 2
Y1 - 2008
A1 - Markus Krotzsch
A1 - Sebastian Rudolph
A1 - Pascal Hitzler
AB - We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role.We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP.While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.
JA - ELP: Tractable Rules for OWL 2
ER -
TY - RPRT
T1 - ELP: Tractable Rules for OWL 2
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role. We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP. While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.
JA - ELP: Tractable Rules for OWL 2
ER -
TY - ABST
T1 - ELP: Tractable Rules for OWL 2
Y1 - 2008
A1 - Markus Krotzsch
A1 - Sebastian Rudolph
A1 - Pascal Hitzler
AB - We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role.We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP.While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.
ER -
TY - ABST
T1 - Expressive Tractable Description Logics based on SROIQ Rules
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases. In contrast to SWRL, however, the combination of DL rules with expressive description logics remains decidable, and we show that the DL SROIQ - the basis for the ongoing standardisation of OWL 2 - can completely internalise DL rules. On the other hand, DL rules capture many expressive features of SROIQ that are not available in simpler DLs yet. While reasoning in SROIQ is highly intractable, it turns out that DL rules can be introduced to various lightweight DLs without increasing their worst-case complexity. In particular, DL rules enable us to significantly extend the tractable DLs EL++ and DLP.
ER -
TY - CONF
T1 - A Forgetting-based Approach for Handling Inconsistency in Distributed Ontologies
Y1 - 2008
A1 - Guilin Qi
A1 - Yimin Wang
A1 - Peter Haase
A1 - Pascal Hitzler
AB - In the context of multiple distributed ontologies, we are often confronted with the problem of dealing with inconsistency. In this paper, we propose an approach for reasoning with inconsistent distributed ontologies based on *concept forgetting*.We firstly define *concept forgetting* in description logics.We then adapt the notions of recoveries and preferred recoveries in propositional logic to description logics. Two consequence relations are then defined based on the preferred recoveries.
PB - 5th European Semantic Web Conference, ESWC08
ER -
TY - CHAP
T1 - Learning Expressive Ontologies
Y1 - 2008
A1 - Johanna Volker
A1 - Peter Haase
A1 - Pascal Hitzler
ER -
TY - CONF
T1 - Paraconsistent Reasoning for Expressive and Tractable Description Logics
Y1 - 2008
A1 - Yue Ma
A1 - Zuoquan Lin
A1 - Pascal Hitzler
AB - Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as classical semantics. In this paper, we further study how to extend the four-valued semantics to more expressive description logics, such as SHIQ, and to more tractable description logics including EL++, DL-Lite, and Horn-DLs. The most effort we spend defining the four-valued semantics of expressive four-valued description logics is on keeping the reduction from four-valued semantics to classical semantics as in the case of ALC; While for tractable description logics, we mainly focus on how to maintain their tractability when adopting four-valued semantics.
PB - 21st International Workshop on Description Logics, DL2008
ER -
TY - ABST
T1 - Reasoning in Circumscriptive ALCO
Y1 - 2008
A1 - Stephan Grimm
A1 - Pascal Hitzler
AB - Non-monotonic extensions of description logics (DLs) allow for default and local closed-world reasoning and are an acknowledged desired feature for applications, e.g. in the Semantic Web. A recent approach to such an extension is based on McCarthy's circumscription, which rests on the principle of minimising the extension of selected predicates to locally close off dedicated parts of a domain model. While decidability and complexity results have been established in the literature, no practical algorithmisation for circumscriptive DLs has been proposed so far. In this paper, we present a tableaux calculus that can be used as a sound and complete decision procedure for concept satisfiability with respect to concept-circumscribed ALCO knowledge bases. The calculus builds on existing tableaux for classical DLs, extended by the notion of a preference clash to detect the non-minimality of constructed models.
ER -
TY - JOUR
T1 - Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
JF - International Journal of e-Commerce
Y1 - 2008
A1 - Stephan Grimm
A1 - Pascal Hitzler
KW - closed-world reasoning
KW - local closed world reasoning
AB - Ontology languages like OWL allow for semantically rich annotation of resources, such as products advertised at an electronic online marketplace,while the Description Logic (DL) formalism underlying OWL provides reasoning techniques to perform matchmaking on such annotations. We identify peculiarities in the use of DL inferences for matchmaking which are due to the open-world semantics of OWL, and we analyse the use of local closed-world reasoning for its applicability to matchmaking. In particular,we investigate two nonmonotonic extensions to DL, namely auto epistemic DLs and DLs with circumscription, for their suitability of realising local closed-world reasoning in the matchmaking context to overcome these problems. We discuss their different characteristics by means of an elab- orate example of an electronic marketplace for PC product catalogues from the eCommerce domain and demonstrate how these formalisms can be used to realise such scenarios.
ER -
TY - BOOK
T1 - Semantic Web. Grundlagen
Y1 - 2008
A1 - Sebastian Rudolph
A1 - York Sure
A1 - Markus Krotzsch
A1 - Pascal Hitzler
ER -
TY - CHAP
T1 - Spieltheorie
T2 - MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18
Y1 - 2008
A1 - Pascal Hitzler
A1 - Pascal Hitzler
A1 - Alexander Chocholaty
A1 - Gudrun Kalmbach
JA - MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18
ER -
TY - CONF
T1 - Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
T2 - Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a data structure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general Tboxes.
JA - Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
ER -
TY - ABST
T1 - Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
Y1 - 2008
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a data structure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general Tboxes.
ER -
TY - CONF
T1 - Acquisition of OWL DL Axioms from Lexical Resources
T2 - 4th European Semantic Web Conference
Y1 - 2007
A1 - Johanna Volker
A1 - Philipp Cimiano
A1 - Pascal Hitzler
AB - State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connectives, role restrictions, and other expressive features of the Web Ontology Language OWL remains largely unexplored. In this paper, we present a method and implementation for enriching inexpressive OWL ontologies with expressive axioms which is based on a deep syntactic analysis of natural language definitions. We argue that it can serve as a core for a semi-automatic ontology engineering process supported by a methodology that integrates methods for both ontology learning and evaluation. The feasibility of our approach is demonstrated by generating complex class descriptions from Wikipedia definitions and from a fishery glossary provided by the Food and Agriculture Organization of the United Nations.
JA - 4th European Semantic Web Conference
CY - Innsbruck, Austria
ER -
TY - CONF
T1 - An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
T2 - Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty
Y1 - 2007
A1 - Yue Ma
A1 - Guilin Qi
A1 - Zuoquan Lin
A1 - Pascal Hitzler
AB - Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on paraconsistent semantics. However, very few of them provide an algorithm for implementation. In this paper, we first give a four-valued semantics for first-order logic and then propose an approach for measuring the degree of inconsistency based on this four-valued semantics. After that, we propose an algorithm to compute the inconsistency degree by introducing a new semantics for first order logic, which is called S[n]-4 semantics.
JA - Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty
CY - Hammamet,Tunisia
ER -
TY - CONF
T1 - Algorithms for Paraconsistent Reasoning with OWL
T2 - 4th European Semantic Web Conference, ESWC2007
Y1 - 2007
A1 - Yue Ma
A1 - Zuoquan Lin
A1 - Pascal Hitzler
JA - 4th European Semantic Web Conference, ESWC2007
CY - Innsbruck, Austria
ER -
TY - CONF
T1 - Any-World Access to OWL from Prolog
T2 - 30th Annual German Conference on AI
Y1 - 2007
A1 - Tobias Matzner
A1 - Pascal Hitzler
AB - The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL with additional expressive features or by interlacing it with other forms of knowledge representation, in order to make it applicable for even further purposes. In this paper, we integrate OWL with one of the most successful and most widely used forms of knowledge representation, namely Prolog, and present a hybrid approach which layers Prolog on top of OWL in such a way that the open-world semantics of OWL becomes directly accessible within the Prolog system.
JA - 30th Annual German Conference on AI
PB - Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007
CY - KI, Osnabruck, Germany
ER -
TY - CONF
T1 - A Comparison of Disjunctive Well-founded Semantics
Y1 - 2007
A1 - Matthias Knorr
A1 - Pascal Hitzler
AB - While the stable model semantics, in the form of Answer Set Programming, has become a successful semantics for disjunctive logic programs, a corresponding satisfactory extension of the well-founded semantics to disjunctive programs remains to be found. The many current proposals for such an extension are so diverse, that even a systematic comparison between them is a challenging task. In order to aid the quest for suitable disjunctive well-founded semantics, we present a systematic approach to a comparison based on level mappings, a recently introduced framework for characterizing logic programming semantics, which was quite successfully used for comparing the major semantics for normal logic programs. We extend this framework to disjunctive logic programs, which will allow us to gain comparative insights into their different handling of negation. Additionally, we show some of the problems occurring when trying to handle minimal models (and thus disjunctive stable models) within the framework.
PB - Foundations of Artificial Intelligence (FAInt-07)
ER -
TY - CONF
T1 - Complexity Boundaries for Horn Description Logics
T2 - The 22nd AAAI Conference on Artficial Intelligence
Y1 - 2007
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn-DLs. While the combined complexity for many Horn-DLs turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning.
JA - The 22nd AAAI Conference on Artficial Intelligence
CY - Vancouver, British Columbia, Canada
ER -
TY - ABST
T1 - Complexity of Horn Description Logics
Y1 - 2007
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn-DLs. While the combined complexity for many Horn-DLs turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning.
ER -
TY - CONF
T1 - Conjunctive Queries for a Tractable Fragment of OWL 1.1
T2 - 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC
Y1 - 2007
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - Despite the success of the Web Ontology Language OWL, the development of expressive means for querying OWL knowledge bases is still an open issue. In this paper, we investigate how a very natural and desirable form of queries-namely conjunctive ones-can be used in conjunction with OWL such that one of the major design criteria of the latter-namely decidability-can be retained. More precisely, we show that querying the tractable fragment EL++ of OWL 1.1 is decidable. We also provide a complexity analysis and show that querying unrestricted EL++ is undecidable.
JA - 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC
PB - The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC
CY - Busan, Korea
ER -
TY - CHAP
T1 - The Core Method: Connectionist Model Generation for First-Order Logic Programs
Y1 - 2007
A1 - Sebastian Bader
A1 - Steffen Holldobler
A1 - Andreas Witzel
A1 - Pascal Hitzler
KW - Artificial Intelligence
AB - In Artificial Intelligence, knowledge representation studies the formalisation of knowledge and its processing within machines. Techniques of automated reasoning allow a computer system to draw conclusions from knowledge represented in a machine-interpretable form. Recently, ontologies have evolved in computer science as computational artefacts to provide computer systems with a conceptual yet computational model of a particular domain of interest. In this way, computer systems can base decisions on reasoning about domain knowledge, similar to humans. This chapter gives an overview on basic knowledge representation aspects and on ontologies as used within computer systems. After introducing ontologies in terms of their appearance, usage and classification, it addresses concrete ontology languages that are particularly important in the context of the Semantic Web. The most recent and predominant ontology languages and formalisms are presented in relation to each other and a selection of them is discussed in more detail.
ER -
TY - CONF
T1 - Decidability Under the Well-Founded Semantics
T2 - First International Conference on Web Reasoning and Rule Systems, RR2007
Y1 - 2007
A1 - Pascal Hitzler
A1 - Natalia Cherchago
A1 - Steffen Holldobler
AB - The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of rule systems for ontology reasoning, and also investigated as to its usefulness as a semantics for hybrid systems featuring combined open- and closed-world reasoning. Even in its most basic form, however, the WFS is undecidable. In fact, it is not even semi-decidable, which means that it is a theoretical impossibility that sound and complete reasoners for the WFS exist. Surprisingly, however, this matter has received next to no attention in research, although it has already been shown in 1995 by John Schlipf [1]. In this paper, we present several conditions under which query-answering under the well-founded semantics is decidable or semi-decidable. To the best of our knowledge, these are the very first results on such conditions.
JA - First International Conference on Web Reasoning and Rule Systems, RR2007
CY - Innsbruck, Austria
ER -
TY - CONF
T1 - Description Logic Programs: Normal Forms
Y1 - 2007
A1 - Andreas Eberhart
A1 - Pascal Hitzler
AB - The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowledge representation for the Semantic Web, two different paradigms - namely Description Logics (DLs) and Logic Programming - are the two most successful approaches. A study of their exact relationships is thus paramount. An intersection of OWL with (function-free non-disjunctive) Datalog, called DLP (for Description Logic Programs), has been described in [1,2]. We provide normal forms for DLP in Description Logic syntax and in Datalog syntax, thus providing a bridge for the researcher and user who is familiar with either of these paradigms. We argue that our normal forms are the most convenient way to define DLP for teaching and dissemination purposes.
PB - FAInt-07
ER -
TY - CONF
T1 - Efficient OWL Reasoning with Logic Programs - Evaluations
T2 - International Conference on Web Reasoning and Rule Systems, RR2007
Y1 - 2007
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Michael Sintek
A1 - Denny Vrandecic
A1 - Pascal Hitzler
AB - We report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined. Introduction. Scalability of reasoning remains one of the major obstacles in leveraging the full power of the Web Ontology Language OWL [1] for practical applications. Among the many possible approaches to address scalability, one of them concerns the use of logic programming for this purpose. It was recently shown that reasoning in Horn-SHIQ [2-4] can be realised by invoking Prolog systems on the output of the
JA - International Conference on Web Reasoning and Rule Systems, RR2007
CY - Innsbruck, Austria
ER -
TY - CONF
T1 - Foundations of Refinement Operators for Description Logics
T2 - 17th International Conference, ILP 2007
Y1 - 2007
A1 - Jens Lehmann
A1 - Pascal Hitzler
AB - In order to leverage techniques from Inductive Logic Programming for the learning in description logics (DLs), which are the foundation of ontology languages in the Semantic Web, it is important to acquire a thorough understanding of the theoretical potential and limitations of using refinement operators within the description logic paradigm. In this paper, we present a comprehensive study which analyses desirable properties such operators should have. In particular, we show that ideal refinement operators in general do not exist, which is indicative of the hardness inherent in learning in DLs. We also show which combinations of desirable properties are theoretically possible, thus providing an important step towards the definition of practically applicable operators.
JA - 17th International Conference, ILP 2007
CY - Corvallis, OR, USA
ER -
TY - CONF
T1 - A Fully Connectionist Model Generator for Covered First-Order Logic Programs
T2 - Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
Y1 - 2007
A1 - Sebastian Bader
A1 - Steffen Holldobler
A1 - Andreas Witzel
A1 - Pascal Hitzler
AB - We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples, we embed the associated semantic operator into a feed-forward network and train the network using the examples. This results in the learning of first-order knowledge while damaged or noisy data is handled gracefully.
JA - Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
CY - Hyderabad, India
ER -
TY - CHAP
T1 - Kursarbeit mit Schulern - die Intensivkurse Mathematik
Y1 - 2007
A1 - Gudrun Kalmbach
A1 - Pascal Hitzler
ER -
TY - CONF
T1 - Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
T2 - Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty
Y1 - 2007
A1 - Yue Ma
A1 - Guilin Qi
A1 - Zuoquan Lin
A1 - Pascal Hitzler
AB - In this paper, we present an approach for measuring inconsistency in a knowledge base.We first define the degree of inconsistency using a four-valued semantics for the description logic ALC. Then an ordering over knowledge bases is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.
JA - Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty
CY - Hammamet, Tunisia
ER -
TY - CONF
T1 - Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Y1 - 2007
A1 - Yue Ma
A1 - Guilin Qi
A1 - Pascal Hitzler
A1 - Zuoquan Lin
AB - In this paper, we present an approach for measuring inconsistency in a knowledge base.We first define the degree of inconsistency using a four-valued semantics for the description logic ALC. Then an ordering over knowledge bases is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.
PB - the 2007 International Workshop on Description Logics (DL-2007)
ER -
TY - CONF
T1 - Paraconsistent Resolution for Four-valued Description Logics
Y1 - 2007
A1 - Yue Ma
A1 - Zuoquan Lin
A1 - Pascal Hitzler
AB - In this paper, we propose an approach to translating any *ALC* ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make any *ALC* based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valued *ALC*. Our approach can be viewed as a paraconsistent version of KAON2 algorithm.
PB - the 2007 International Workshop on Description Logics (DL-2007)
ER -
TY - CONF
T1 - Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web
T2 - ICCS 2007
Y1 - 2007
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, while the latter is an area of research and development which is rapidly expanding in recent years, the former fails to participate in these developments on a large scale. In this paper, we attempt to stimulate the Conceptual Structures community to catch the Semantic Web train.
JA - ICCS 2007
CY - Sheffield, UK
ER -
TY - CONF
T1 - A Refinement Operator Based Learning Algorithm for the ALC Description Logic
T2 - 17th International Conference, ILP
Y1 - 2007
A1 - Jens Lehmann
A1 - Pascal Hitzler
AB - With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, faces a bottleneck due to the lack of available knowledge bases, and it is paramount that suitable automated methods for their acquisition will be developed. In this paper, we provide the first learning algorithm based on refinement operators for the most fundamental description logic ALC. We develop the algorithm from thorough theoretical foundations and report on a prototype implementation.
JA - 17th International Conference, ILP
PB - 17th International Conference, ILP 2007
CY - Corvallis, OR, USA
ER -
TY - CONF
T1 - Towards Tractable Local Closed World Reasoning for the Semantic Web
T2 - 13th Portuguese Conference on Aritficial Intelligence, EPIA
Y1 - 2007
A1 - Matthias Knorr
A1 - Jose Julio Alferes
A1 - Pascal Hitzler
AB - Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and closed world reasoning for the Semantic Web. We present an extension based on a new three-valued framework including an alternating fixpoint, the well-founded MKNF model. This approach, the well-founded MKNF semantics, derives its name from the very close relation to the corresponding semantics known from logic programming. We show that the well-founded MKNF model is the least model among all (three-valued) MKNF models, thus soundly approximating also the two-valued MKNF models from [14]. Furthermore, its computation yields better complexity results (up to polynomial) than the original semantics where models usually have to be guessed.
JA - 13th Portuguese Conference on Aritficial Intelligence, EPIA
PB - 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007
CY - Guimaraes, Portugal
ER -
TY - CONF
T1 - A Well-founded Semantics for Hybrid MKNF Knowledge Bases
Y1 - 2007
A1 - Matthias Knorr
A1 - Jose Julio Alferes
A1 - Pascal Hitzler
AB - In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for nondisjunctive hybrid MKNF knowledge bases. We thus provide a well-founded semantics which is a sound approximation of the cautious MKNF model semantics, and which also features improved computational properties. We also show that whenever the DL knowledge base part is empty, then the alternating fixpoint coincides with the classical well-founded model.
PB - the 2007 International Workshop on Description Logics (DL-2007)
ER -
TY - CONF
T1 - On the Complexity of Horn Description Logics
Y1 - 2006
A1 - Sebastian Rudolph
A1 - Markus Krotzsch
A1 - Pascal Hitzler
AB - Horn-*SHIQ* has been identified as a fragment of the description logic *SHIQ* for which inferencing is in PT_{IME} with respect to the size of the ABox. This enables reasoning with larger ABoxes in situations where the TBox is static, and represents one approach towards tractable description logic reasoning. In this paper, we show that reasoning in Horn-*SHIQ*, in spite of its low datacomplexity, is E_{xp}T_{IME}-hard with respect to the overall size of the knowledge base. While this result is not unexpected, the proof is not a mere modification of existing reductions since it has to account for the restrictions of Hornness. We establish the result for Horn-*FLE*, showing that Hornness does not simplify TBox reasoning even for very restricted description logics. Moreover, we derive a context-free grammar that defines Horn-*SHIQ* in a simpler and more intuitive way than existing characterisations.
PB - Second Workshop OWL - Experiences and Directions, OWLED2006
ER -
TY - CONF
T1 - How to Reason with OWL in a Logic Programming System
T2 - the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006
Y1 - 2006
A1 - M. Krotzsch
A1 - D. Vrandecic
A1 - M. Sintek
A1 - Pascal Hitzler
AB - Logic programming has always been a major ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker or the TRIPLE query, inference, and transformation language and system. At the same time, the Web Ontology Language OWL has been recommended by the W3C for modeling ontologies for the web. Naturally, it is desirable to investigate the interoperability between both paradigms. In this paper, we do so by studying an expressive fragement of OWL DL for which reasoning can be reduced to the evaluation of Horn logic programs. Building on the KAON2 algorithms for transforming OWL DL into disjunctive Datalog, we give a detailed account of how and to what extent OWL DL can be employed in standard logic programming systems. En route, we derive a novel, simplified characterization of the supported fragment of OWL DL.
JA - the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006
CY - Athens, Georgia
ER -
TY - CONF
T1 - Integrating Semantic Web Services for Mobile Access
T2 - 3rd European Semantic Web Conference (ESWC 2006)
Y1 - 2006
A1 - Anupriya Ankolekar
A1 - Pascal Hitzler
A1 - Holger Lewen
A1 - Daniel Oberle
A1 - Rudi Studer
AB - We present our work in integrating Semantic Web services for access via mobile devices. We have developed a system, the WebServiceAccessComponent, that transforms a user request for a service on a mobile device, to a Web service request and then selects a matching service from the existing Web services of the Deutsche Telekom, which provide navigational and weather information. In this poster, we present the requirements and design of the WebServiceAccessComponent.
JA - 3rd European Semantic Web Conference (ESWC 2006)
CY - Budva, Montenegro
ER -
TY - CONF
T1 - A Metamodel and UML Profile for Rule-extended OWL DL Ontologies
T2 - 3rd European Semantic Web Conference, ESWC 2006
Y1 - 2006
A1 - R. Studer
A1 - S. Brockmans
A1 - P. Haase
A1 - Pascal Hitzler
AB - In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile for OWL DL. Based on this metamodel and profile, UML tools can be used for visual modeling of rule-extended ontologies.
JA - 3rd European Semantic Web Conference, ESWC 2006
CY - Budva, Montenegro
ER -
TY - CONF
T1 - Querying Formal Contexts with Answer Set Programs
T2 - 14th International Conference on Conceptual Structures, ICCS 2006
Y1 - 2006
A1 - M. Krotzsch
A1 - Pascal Hitzler
AB - Recent studies showed how a seamless integration of formal concept analysis (FCA), logic of domains, and answer set programming (ASP) can be achieved. Based on these results for combining hierarchical knowledge with classical rule-based formalisms, we introduce an expressive common-sense query language for formal contexts. Although this approach is conceptually based on order-theoretic paradigms, we show how it can be implemented on top of standard ASP systems. Advanced features, such as default negation and disjunctive rules, thus become practically available for processing contextual data.
JA - 14th International Conference on Conceptual Structures, ICCS 2006
CY - Aalborg, Denmark
ER -
TY - JOUR
T1 - A Semantic Future for AI
JF - IEEE Intelligent Systems
Y1 - 2006
A1 - R. Studer
A1 - A. Ankolekar
A1 - Pascal Hitzler
KW - AI
KW - Semantics of AI
AB - In our modern information society, people need to manage ever-increasing numbers of personal devices and conduct more of their work and activities online, often making use of heterogeneous services. The amount of information to be processed by each individual is constantly growing, making it increasingly difficult to control, channel, share and make constructive use of it. To mitigate this, computing needs to become much more human-centered, e.g. by presenting personalised information to users and by respecting personal preferences in controlling multiple devices or invoking various services. Appropriate representation of the semantics of the information and functionality of devices and services will be critical to such personalised computing. Symbolic artificial intelligence (AI) techniques provide the method of choice for the required semantic representation and reasoning capabilities. The challenge for symbolic AI is to be able to support large-scale, distributed, dynamic knowledge bases enabling highly adaptive and evolving systems. AI must also look to specific application contexts and develop real-world solutions for problems in those domains. Below, we present some examples of such application contexts.
ER -
TY - CHAP
T1 - Visual Ontology Modeling for Electronic Markets
Y1 - 2006
A1 - Rudi Studer
A1 - Saartje Brockmans
A1 - Andreas Geyer-Schulz
A1 - Pascal Hitzler
AB - The research program, Information Management and Market Engineering, focuses on the analysis and the design of electronic markets. Taking a holistic view of the conceptualization and realization of solutions, the research integrates the disciplines business administration, economics, computer science, and law. Topics of interest range from the implementation, quality assurance, and further development of electronic markets to their integration into business processes, innovative business models, and legal frameworks.
ER -
TY - CHAP
T1 - Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen
Y1 - 2005
A1 - Pascal Hitzler
ER -
TY - CHAP
T1 - Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen
Y1 - 2005
A1 - Pascal Hitzler
ER -
TY - CONF
T1 - Bridging the Paradigm Gap with Rules for OWL
Y1 - 2005
A1 - Rudi Studer
A1 - Jurgen Angele
A1 - Boris Motik
A1 - Pascal Hitzler
AB - Accelerated by the vision of the semantic web, semantic technologies have recently made significant advances. The underlying methods and paradigms are already being transferred to adjacent areas of research in artificial intelligence, knowledge management, and elsewhere. Textbooks explaining the foundations have appeared. Large national and international projects on the topic are under way.
PB - W3C Workshop on Rule Languages for Interoperability
ER -
TY - CONF
T1 - Computing First-Order Logic Programs by Fibring Artificial Neural Networks
T2 - Eighteenth International Florida Artificial Intelligence Research Symposium Conference
Y1 - 2005
A1 - Sebastian Bader
A1 - Artur S. D'A. Garcez
A1 - Pascal Hitzler
AB - The integration of symbolic and neural-network-based artificial intelligence paradigms constitutes a very challenging area of research. The overall aim is to merge these two very different major approaches to intelligent systems engineering while retaining their respective strengths. For symbolic paradigms that use the syntax of some first-order language this appears to be particularly difficult. In this paper, we will extend on an idea proposed by Garcez and Gabbay (2004) and show how first-order logic programs can be represented by fibred neural networks. The idea is to use a neural network to iterate a global counter n. For each clause C_{i} in the logic program, this counter is combined (fibred) with another neural network, which determines whether C_{i} outputs an atom of level *n* for a given interpretation *I*. As a result, the fibred network computes the singlestep operator T_{P} of the logic program, thus capturing the semantics of the program.
JA - Eighteenth International Florida Artificial Intelligence Research Symposium Conference
CY - Clearwater Beach, Florida, USA
ER -
TY - CONF
T1 - Description Logic Programs: A Practical Choice For the Modelling of Ontologies
Y1 - 2005
A1 - York Sure
A1 - Rudi Studer
A1 - Pascal Hitzler
AB - Knowledge representation using ontologies constitutes the heart of semantic technologies. Despite successful standardization e.orts by the W3C, however, there are still numerous di.erent ontology representation languages being used, and interoperability between them is in general not given. The problem is aggrevated by the fact that current standards lay foundations only and are well-known to be insufficient for the modelling of finer details. Thus, a plethora of extensions of the basic languages is being proposed, rendering the picture of ontology representation languages to be chaotic, to say the least. While semantic technologies start to become applicable and are being applied in adjacent areas of research and in research projects with industrial participation, and can soon be expected to become an integral part of industrial applications, the practitioner is faced with the difficult task of choosing his basic ontology representation paradigm. We will argue that the OWL subset known as Description Logic Programs constitutes a very reasonable choice.
PB - 1st Workshop on Formal Ontologies meet Meet Industry, FOMI'05
ER -
TY - CHAP
T1 - Dimensions of Neural-Symbolic Integration - A Structured Survey
Y1 - 2005
A1 - Sebastian Bader
A1 - Pascal Hitzler
ER -
TY - CONF
T1 - DLP Isn't So Bad After All
Y1 - 2005
A1 - York Sure
A1 - Rudi Studer
A1 - Markus Krotzsch
A1 - Peter Haase
A1 - Pascal Hitzler
AB - We discuss some of the recent controversies concerning the DLP fragment of OWL. We argue that it is a meaningful fragment and can serve as a basic interoperability layer between OWL and logic programming-based ontology languages.
ER -
TY - CONF
T1 - DLP Isn't So Bad After All
T2 - DLP Isn't So Bad After All
Y1 - 2005
A1 - Pascal Hitzler
A1 - York Sure
A1 - Rudi Studer
A1 - Markus Krotzsch
A1 - Peter Haase
JA - DLP Isn't So Bad After All
ER -
TY - CONF
T1 - Faster OWL Using Split Programs
Y1 - 2005
A1 - Denny Vrandecic
A1 - Pascal Hitzler
AB - Knowledge representation and reasoning on the Semantic Web is done by means of ontologies. While the quest for suitable ontology languages is still ongoing, OWL [5] has been established as a core standard. It comes in three flavours, as OWL Full, OWL DL and OWL Lite, where OWL Full contains OWL DL, which in turn contains OWL Lite. The latter two coincide semantically with certain description logics and can thus be considered fragments of first-order predicate logic.
ER -
TY - CONF
T1 - Level Mapping Characterizations of Selector-Generated Models for Logic Programs
Y1 - 2005
A1 - Sibylle Schwarz
A1 - Pascal Hitzler
KW - Selector-Generated Models
AB - Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated semantics, to programs with arbitrary formulae in rule heads and bodies. We study this approach by means of a unifying framework for characterizing different logic programming semantics using level mappings (Hitzler and Wendt 200x, Hitzler 2003), thereby supporting the claim that this framework is very flexible and applicable to very diversely defined semantics.
PB - 19th Workshop on (Constraint) Logic Programming
ER -
TY - CONF
T1 - Modeling Fuzzy Rules with Description Logics
Y1 - 2005
A1 - Sudhir Agarwal
A1 - Pascal Hitzler
AB - In real application scenarios, input data and knowledge is often vague. Likewise, it is often the case that exact reasoning over data is impossible due to complex dependencies between input data and target outputs. For practical applications, however, good approximations often suffice, and efficient calculation of an approximate answer is often preferable over complex processing which may take a long time to come up with an exact answer. Fuzzy logic supports both features by providing fuzzy membership functions and fuzzy IF-THEN rule bases. In this paper, we show how fuzzy membership functions and fuzzy rules can be modeled by means of an appropriate description logic and how this can be employed for query answering.
ER -
TY - CONF
T1 - Morphisms in Context
T2 - 13th International Conference on Conceptual Structures, ICCS '05
Y1 - 2005
A1 - Markus Krotzsch
A1 - Guo-Qiang Zhang
A1 - Pascal Hitzler
AB - Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms can be used for the study of structural properties of knowledge represented in formal contexts, with applications to data transformation and merging. In this paper we present a comprehensive treatment of some of the most important morphisms in FCA and their relationships, including dual bonds, scale measures, infomorphisms, and their respective relations to Galois connections. We summarize our results in a concept lattice that cumulates the relationships among the considered morphisms. The purpose of this work is to lay a foundation for applications of FCA in ontology research and similar areas, where morphisms help formalize the interplay among distributed knowledge bases.
JA - 13th International Conference on Conceptual Structures, ICCS '05
CY - Kassel, Germany
ER -
TY - CONF
T1 - Ontology Learning as a Use Case for Neural-Symbolic Integration
T2 - Ontology Learning as a Use Case for Neural-Symbolic Integration
Y1 - 2005
A1 - Sebastian Bader
A1 - Artur S. D'Avila Garcez
A1 - Pascal Hitzler
AB - We argue that the field of neural-symbolic integration is in need of identifying application scenarios for guiding further research. We furthermore argue that ontology learning - as occuring in the context of semantic technologies - provides such an application scenario with potential for success and high impact on neural-symbolic integration.
JA - Ontology Learning as a Use Case for Neural-Symbolic Integration
ER -
TY - CONF
T1 - Resolution-based approximate reasoning for OWL DL
T2 - ISWC2005
Y1 - 2005
A1 - Denny Vrandecic
A1 - Pascal Hitzler
AB - We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL. Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog [1, 2, 3, 4], and rests on the idea of performing standard resolution over disjunctive rules by treating them as if they were non-disjunctive ones. We analyse our reasoning approach by means of non-monotonic reasoning techniques, and present an implementation, called Screech.
JA - ISWC2005
CY - Galway, Ireland
ER -
TY - CONF
T1 - Semantic Management of Web Services using the Core Ontology of Services
Y1 - 2005
A1 - Stephan Grimm
A1 - Andreas Eberhart
A1 - Rudi Studer
A1 - Sudhir Agarwal
A1 - Daniel Oberle
A1 - Steffen Lamparter
A1 - Pascal Hitzler
AB - Different Web Service standards like WSDL, WS-Security, WS-Policy etc., henceforth referred to as WS*, factorize Web Service management tasks into different aspects, such as input/output, workflow, or security. The advantages of WS* are multiple and have already achieved industrial impact. WS* descriptions are exchangeable and developers may use different implementations for the same Web Service description. The disadvantages of WS*, however, are also apparent: even though the different standards are complementary, they must overlap and one may produce models composed of different WS* descriptions, which are inconsistent with each other, but the reasons for the inconsistencies are not easily determined. This is the case because there is no coherent conceptual model of WS*, i.e. terms with equivalent semantics are introduced differently in the respective XML-DTDs. Thus, it is impossible to ask for conclusions that come from integrating different WS* descriptions. Hence, discovering such Web Service management problems or asking for other similar kinds of conclusions that derive from the integration of WS* descriptions remains a purely manual task to be done by the software developers accompanied by little to no formal machinery.
PB - W3C Workshop on Frameworks for Semantics in Web Services
ER -
TY - JOUR
T1 - The Semantic Web in One Day
JF - IEEE Intelligent Systems
Y1 - 2005
A1 - York Sure
A1 - Andreas Eberhart
A1 - Rudi Studer
A1 - Pascal Hitzler
KW - Semantic Web
ER -
TY - JOUR
T1 - Towards a Systematic Account of Different Semantics for Logic Programs
JF - Journal of Logic and Computation
Y1 - 2005
A1 - Pascal Hitzler
KW - Kripke Kleene semantics
KW - logic programming
KW - programming semantics
AB - In [1,2], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs and negation. One result from this work is that the well-founded semantics can formally be understood as a stratified version of Fitting (or Kripke Kleene) semantics. The construction leading to this result, however, show a certain asymmetry which is not readily understood. We will study this situation here with the result that we will obtain a coherent picture of relations between different semantics.
ER -
TY - JOUR
T1 - A uniform approach to logic programming semantics
JF - Theory and Practice of Logic Programming
Y1 - 2005
A1 - Matthias Wendt
A1 - Pascal Hitzler
KW - logic programming semantics
AB - Part of the theory of programming and nonymonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed during the last two decades, and some have been more successful and acknowledged than others. The rationales behind those various semantics have been manifold, depending on one's point of view, which may be that of a programmer or inspired by commonsense reasoning, and consequently the constructions which lead to these semantics are technically very diverse, and the exact relationships between them have not yet been fully understood. In this paper, we present a conceptually new method, based on level mappings, which allows to provide uniform characterizations of different semantics for logic programs. We will display our approach by giving new and uniform characterizations of some of the major semantics, and of the well-founded semantics. A novel characterization of the weakly perfect model semantics will also be provided.
ER -
TY - CONF
T1 - The Well-Supported Semantics for Multidimensional Dynamic Logic Programs
T2 - 8th International Conference, LPNMR 2005
Y1 - 2005
A1 - F. Banti
A1 - Jose Julio Alferes
A1 - A. Brogi
A1 - Pascal Hitzler
AB - Multidimensional dynamic logic programs are a paradigm which allows to express (partially) hierarchically ordered evolving knowledge bases through (partially) ordered multi sets of logic programs and allowing to solve contradictions among rules in different programs by allowing rules in more important programs to reject rules in less important ones. This class of programs extends the class of dynamic logic program that provides meaning and semantics to sequences of logic programs. Recently a semantics named refined stable model semantics has fixed some counterintuitive behaviour of previously existing semantics for dynamic logic programs. However, it is not possible to directly extend the definitions and concepts of the refined semantics to the multidimensional case and hence more sophisticated principles and techniques are in order. In this paper we face the problem of defining a proper semantics for multidimensional dynamic logic programs by extending the idea of well supported model to this class of programs and by showing that this concept alone is enough for univocally characterizing a proper semantics. We then show how the newly defined semantics coincides with the refined one when applied to sequences of programs.
JA - 8th International Conference, LPNMR 2005
CY - Diamante, Italy
ER -
TY - CONF
T1 - What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts
Y1 - 2005
A1 - York Sure
A1 - Markus Krotzsch
A1 - Marc Ehrig
A1 - Pascal Hitzler
AB - In this paper we explain how merging of ontologies is captured by the pushout construction from category theory, and argue that this is a very natural approach to the problem. We study this independent of a specific choice of ontology representation language, and thus provide a sort of blueprint for the development of algorithms applicable in practice. For this purpose, we view category theory as a universal 'meta specification language' that enables us to specify properties of ontological relationships and constructions in a way that does not depend on any particular implementation. This can be achieved since the basic objects of study in category theory are the relationships between multiple ontological specifications, not the internal structure of a single knowledge representation. Categorical pushouts are already considered in some approaches to ontology research (Jannink et al. 1998; Schorlemmer, Potter, & Robertson 2002; Goguen 2005; Kent 2005) and we do not claim our treatment to be entirely original. Still we have the impression that the potential of category theoretic approaches is by far not exhausted in todays ontology research. For our particular case the treatment will focus on the ontology merging, for which we will give both intuitive explanations and precise definitions. This reflects our belief that, at the current stage of research, it is not desirable to fade out the mathematical details of the categorical approach completely, since the interfaces to current techniques in ontology research are not yet available to their full extent. We will also keep this treatment rather general, not narrowing the discussion to specific formalisms - this added generality is one of the strengths of category theory. A long version of this paper with a tutorial character is available from the first author's homepage.
PB - 20th National Conference on Artificial Intelligence, AAAI-05
ER -
TY - CONF
T1 - A cartesian closed category of approximable concept structures
T2 - A cartesian closed category of approximable concept structures
Y1 - 2004
A1 - Guo-Qiang Zhang
A1 - Pascal Hitzler
AB - Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection between formal concept analysis and domain theory as a categorical equivalence, enriching the link between the two areas as outlined in [25]. Building on a new notion of approximable concept introduced by Zhang and Shen [26], this paper provides an appropriate notion of morphisms on formal contexts and shows that the resulting category is equivalent to (a) the category of complete algebraic lattices and Scott continuous functions, and (b) a category of information systems and approximable mappings. Since the latter categories are cartesian closed, we obtain a cartesian closed category of formal contexts that respects both the context structures as well as the intrinsic notion of approximable concepts at the same time.
JA - A cartesian closed category of approximable concept structures
ER -
TY - CONF
T1 - Default Reasoning over Domains and Concept Hierarchies
T2 - Default Reasoning over Domains and Concept Hierarchies
Y1 - 2004
A1 - Pascal Hitzler
AB - W.C. Rounds and G.-Q. Zhang have proposed to study a form of disjunctive logic programming generalized to algebraic domains [1]. This system allows reasoning with information which is hierarchically structured and forms a (suitable) domain. We extend this framework to include reasoning with default negation, giving rise to a new nonmonotonic reasoning framework on hierarchical knowledge which encompasses answer set programming with extended disjunctive logic programs. We also show that the hierarchically structured knowledge on which programming in this paradigm can be done, arises very naturally from formal concept analysis. Together, we obtain a default reasoning paradigm for conceptual knowledge which is in accordance with mainstream developments in nonmonotonic reasoning.
JA - Default Reasoning over Domains and Concept Hierarchies
ER -
TY - CONF
T1 - The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
T2 - Third International Conference on Information
Y1 - 2004
A1 - Sebastian Bader
A1 - Steffen Holldobler
A1 - Pascal Hitzler
AB - Intelligent systems based on first-order logic on the one hand, and on artificial neural networks (also called connectionist systems) on the other, differ substantially. It would be very desirable to combine the robust neural networking machinery with symbolic knowledge representation and reasoning paradigms like logic programming in such a way that the strengths of either paradigm will be retained. Current state-of-the-art research, however, fails by far to achieve this ultimate goal. As one of the main obstacles to be overcome we perceive the question how symbolic knowledge can be encoded by means of connectionist systems: Satisfactory answers to this will naturally lead the way to knowledge extraction algorithms and to integrated neural-symbolic systems.
JA - Third International Conference on Information
CY - Tokyo, Japan
ER -
TY - ABST
T1 - Level mapping characterizations of selector-generated models for logic programs
Y1 - 2004
A1 - Sibylle Schwarz
A1 - Pascal Hitzler
ER -
TY - JOUR
T1 - Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
JF - Journal of Applied Logic
Y1 - 2004
A1 - Sebastian Bader
A1 - Pascal Hitzler
KW - iterated functions
AB - Graphs of the single-step operator for first-order logic programs -displayed in the real plane - exhibit self-similar structures known from topological dynamics, i.e. they appear to be *fractals*, or more precisely, attractors of iterated function systems. We show that this observation can be made mathematically precise. In particular, we give conditions which ensure that those graphs coincide with attractors of suitably chosen iterated function systems, and conditions which allow the approximation of such graphs by iterated function systems or by fractal interpolation. Since iterated function systems can easily be encoded using recurrent radial basis function networks, we eventually obtain connectionist systems which approximate logic programs in the presence of function symbols.
ER -
TY - CONF
T1 - Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks.
T2 - the 26th Annual German Conference on Artificial Intelligence, KI2003
Y1 - 2003
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - One approach to integrating First-order logic programming and neural network systems employs the approximation of semantic operators by feedforward networks. For this purpose, it is necessary to view these semantic operators as continuous functions on the reals. This can be accomplished by endowing the space of all interpretations of a logic program with topologies obtained from suitable embeddings. We will present such topologies which arise naturally out of the theory of logic programming, discuss continuity issues of several wellknown semantic operators, and derive some results concerning the approximation of these operators by feedforward neural networks.
JA - the 26th Annual German Conference on Artificial Intelligence, KI2003
CY - Hamburg, Germany
ER -
TY - CONF
T1 - Formal Concept Analysis and Resolution in Algebraic Domains
T2 - ICCS 2003
Y1 - 2003
A1 - Matthias Wendt
A1 - Pascal Hitzler
AB - We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.
JA - ICCS 2003
CY - Shaker Verlag, Aachen
ER -
TY - ABST
T1 - Formal Concept Analysis and Resolution on Algebraic Domains - Preliminary Report
Y1 - 2003
A1 - Matthias Wendt
A1 - Pascal Hitzler
AB - We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.
ER -
TY - JOUR
T1 - Generalized Metrics and Uniquely Determined Logic Programs
JF - Theoretical Computer Science
Y1 - 2003
A1 - Anthony K. Seda
A1 - Pascal Hitzler
KW - Priess-Crampe and Ribenboim Fixed-Point Theorem
KW - Ultrametrics
AB - The introduction of negation into logic programming brings the benefit of enhanced syntax and expressibility, but creates some semantical problems. Specifically, certain operators which are monotonic in the absence of negation become non-monotonic when it is introduced, with the result that standard approaches to denotational semantics then become inapplicable. In this paper, we show how generalized metric spaces can be used to obtain fixed-point semantics for several classes of programs relative tot eh supported model semantics, and investigate relationships between the underlying spaces we employ. Our methods allow the analysis of classes of programs which include the acyclic, locally hierarchical, and acceptable programs amongst others, and draw on fixed-point theorems which apply to generalized ultrametric spaces and to partial metric spaces.
ER -
TY - CONF
T1 - A Resolution Theorem for Algebraic Domains
T2 - IJCAI-03
Y1 - 2003
A1 - Pascal Hitzler
AB - W. C. Rounds and G.-Q. Zhang have recently proposed to study a form of resolution on algebraic domains [Rounds and Zhang, 2001]. This framework allows reasoning with knowledge which is hierarchically structured and forms a (suitable) domain, more precisely, a coherent algebraic cpo as studied in domain theory. In this paper, we give conditions under which a resolution theorem -- in a form underlying resolution-based logic programming systems -- can be obtained. The investigations bear potential for engineering new knowledge representation and reasoning systems on a firm domain-theoretic background.
JA - IJCAI-03
CY - Acapulco, Mexico
ER -
TY - CONF
T1 - Towards a Systematic Account of Different Logic Programming Semantics
T2 - 26th Annual German Conference on Artificial Intelligence, KI2003
Y1 - 2003
A1 - Pascal Hitzler
AB - In [14, 15], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the well-founded semantics can formally be understood as a stratiÃ¯Â¬Âed version of the Fitting (or Kripke-Kleene) semantics. The constructions leading to this result, however, show a certain asymmetry which is not readily understood. We will study this situation here with the result that we will obtain a coherent picture of relations between different semantics for normal logic programs.
JA - 26th Annual German Conference on Artificial Intelligence, KI2003
CY - Hamburg, Germany
ER -
TY - CONF
T1 - Characterizing Logic Programming Semantics with Level Mappings
Y1 - 2002
A1 - Matthias Wendt
A1 - Pascal Hitzler
AB - Declarative semantics in logic programming and nonmonotonic reasoning are often defined via fixed points of semantic operators. While many relationships between different semantics known from the literature have been studied, a uniform treatment is still missing. In this paper, we provide uniform operator-free characterizations for some of the most important semantics, more precisely, for the stable, the well-founded, and the Fitting semantics, for the weakly-perfect model semantics, and for the least model semantics for negation-free programs.
PB - WLP: Workshop Logische Programmierung
ER -
TY - ABST
T1 - Contexts, Concepts, and Logic of Domains
Y1 - 2002
A1 - Pascal Hitzler
ER -
TY - CHAP
T1 - The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Y1 - 2002
A1 - Anthony K. Seda
A1 - Pascal Hitzler
ER -
TY - JOUR
T1 - ILP Operators for Propositional Connectionist Networks
JF - Technische Berichte Technical Reports
Y1 - 2002
A1 - Miguel Gutierrez-Naranjo
A1 - Pascal Hitzler
CY - WLP: Workshop Logische Programmierung
ER -
TY - CONF
T1 - Towards Nonmonotonic Reasoning on Hierarchical Knowledge
Y1 - 2002
A1 - Pascal Hitzler
KW - nonmonotonic reasoning and hierarchial knowledge
AB - W.C. Rounds and G.Q. Zhang have recently proposed to study a form of disjunctive logic programming generalized to algebraic domains [RZ01]. This system allows reasoning with information which is hierarchically structured and forms a (suitable) domain. We extend this framework to include reasoning with negative information, i.e. the implicit or explicit absence of bits of information. These investigations will naturally lead to a form of default reasoning which is strongly related to programming with answer sets to stable models, which has recently created much interest amongst artificial intelligence researchers concerned with knowledge representation and reasoning.
PB - WLP: Workshop Logische Programmierung
ER -
TY - CONF
T1 - The Well-Founded Semantics is a Stratified Fitting Semantics
T2 - The Well-Founded Semantics is a Stratified Fitting Semantics
Y1 - 2002
A1 - Matthias Wendt
A1 - Pascal Hitzler
AB - Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. While several different semantics have been proposed, and some have been more successful than others, the exact relationships between the approaches have not yet been fully understood. In this paper, we give new characterizations, using level mappings, of the Fitting semantics, the well-founded semantics, and the weakly perfect model semantics. The results will unmask the well-founded semantics as a stratified version of the Fitting semantics.
JA - The Well-Founded Semantics is a Stratified Fitting Semantics
ER -
TY - JOUR
T1 - A "Converse" of the Bananch Contraction Mapping Theorem
JF - Journal of Electrical Engineering
Y1 - 2001
A1 - Pascal Hitzler
A1 - Anthony K. Seda
KW - Banach contraction
KW - Banach contraction mapping theorem
AB - We prove a type of converse of the Banach contraction mapping theorem for metric spaces: if X is a T_{1} topological space and *f*: X -> X is a function with the unique fixed point *a* such that *f*^{n}(*x*) converges to *a* for each *x* is a member of *X*, then there exists a distance function *d* on *X* such that *f* is a contraction on the complete ultrametric space (X,d) with contractivity factor 1/2. We explore properties of the resulting space (X,d).
ER -
TY - CHAP
T1 - Kontraktionssatze auf verallgemeinerten metrischen Raumen
Y1 - 2001
A1 - Pascal Hitzler
ER -
TY - CONF
T1 - Semantic Operators and Fixed-Point Theory in Logic Programming
T2 - 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001)
Y1 - 2001
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - We consider rather general operators mapping valuations to (sets of) valuations in the context of the semantics of logic programming languages. This notion generalizes several of the standard operators encountered in this subject and is inspired by earlier work of M.C. Fitting. The fixed points of such operators play a fundamental role in logic programming semantics by providing standard models of logic programs and also in determining the computability properties of these standard models. We discuss some of our recent work employing topological ideas, in conjunction with order theory, to establish methods by which one can nd the fixed points of the operators arising in logic programming semantics.
JA - 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001)
CY - Orlando, Florida, USA
ER -
TY - JOUR
T1 - Unique Supported-Model Classes of Logic Programs
JF - Information
Y1 - 2001
A1 - Anthony K. Seda
A1 - Pascal Hitzler
KW - denotational semantics
KW - logic programming
KW - supported-model semantics
AB - We study classes of programs, herein called *unique supported-model classes,* with the property that each program in the class has a unique supported model. Elsewhere, the authors examined these classes from the point of view of operators defined relative to certain three-valued logics. In this paper, we complement our earlier results by considering how unique supported-model classes fit into the framework given by various classes of programs in several well-known approaches to semantics.
ER -
TY - CONF
T1 - VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM
Y1 - 2001
A1 - Anthony Seda
A1 - Pascal Hitzler
PB - Fifth Irish Workshop on Formal Methods (IWFM'01)
ER -
TY - CONF
T1 - Classes of Logic Programs which Possess Unique Supported Models.
T2 - Classes of Logic Programs which Possess Unique Supported Models.
Y1 - 2000
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - Logic programming is concerned with the use of logic as a programming language. The main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10]. The reference [1] contains a good survey of the growth of logic programming over the last twenty-five years both as a stand-alone programming language and as a software component of large information systems. One advantage a logic program P has over conventional imperative and object oriented programs is that it has a natural machine-independent meaning, namely, its logical meaning. This is often referred to as its declarative semantics, and is usually taken to be some 'standard' model canonically associated with P. Unfortunately, it is often the case that there are many possible choices for the standard model, some even taken in many-valued logic, which do not in general coincide and all of which have a claim to be 'the natural choice' depending on one's view of non-monotonic reasoning [6, 7, 11].
JA - Classes of Logic Programs which Possess Unique Supported Models.
ER -
TY - CONF
T1 - On the Coincidence of Semantics for Uniquely Determined Programs
T2 - On the Coincidence of Semantics for Uniquely Determined Programs
Y1 - 2000
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - We study classes of logic programs, called here unique supported model classes or simply usm- classes, with the property that each member in the class is uniquely determined, that is, possesses a unique supported model. Known classes of uniquely determined programs include the acyclic and the acceptable programs, which have been much studied in the context of termination, and the authors gave a unifying treatment of these and other unique supported model classes in an earlier paper. In the present paper, we complement these earlier results by considering how various standard semantics relate to each other within certain unique supported model classes. In particular, we introduce the natural usm-class of all accessible programs, which contains the aforementioned classes, and has the property that, for each member of it, the stable, well-founded and weakly perfect-a models all coincide.
JA - On the Coincidence of Semantics for Uniquely Determined Programs
ER -
TY - CHAP
T1 - Der Banachsche Fixpunktsatz und der Satz von Picard-Lindelof
Y1 - 2000
A1 - Frithjof Lutscher
A1 - Pascal Hitzler
ER -
TY - JOUR
T1 - Dislocated Topologies
Y1 - 2000
A1 - Pascal Hitzler
A1 - Anthony K. Seda
KW - Banach contraction
KW - topologies
AB - We study a generalized notion of topology which evolved out of applications in the area of logic programming semantics. The generalization is obtained by relaxing the requirements that a neighbourhood of a point includes the point itself, and by allowing neighbourhoods of points to be empty. The correspoding generalized notion of metric is obtained by allowing points to have non-zero distance to themselves. We further show that it is meaningful to discuss neightbourhoods, convergence, and continuity in these spaces. A generalized version of the Banach contraction mapping theorem can also be established. We show finally how the generalized metrics studied here can be obtained from conventional metrics.
ER -
TY - ABST
T1 - Dislocated Topologies
Y1 - 2000
A1 - Pascal Hitzler
A1 - Anthony Seda
A1 - Anthony K. Seda
AB - We study a generalized notion of topology which evolved out of applications in the area of logic programming semantics. The generalization is obtained by relaxing the requirements that a neighbourhood of a point includes the point itself, and by allowing neighbourhoods of points to be empty. The correspoding generalized notion of metric is obtained by allowing points to have non-zero distance to themselves. We further show that it is meaningful to discuss neightbourhoods, convergence, and continuity in these spaces. A generalized version of the Banach contraction mapping theorem can also be established. We show finally how the generalized metrics studied here can be obtained from conventional metrics.
ER -
TY - CONF
T1 - A New Fixed-point Theorem for Logic Programming Semantics
T2 - SCI2000 and ISAS2000
Y1 - 2000
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - We present a new fixed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also inspired by a theorem of S.G. Matthews which grew out of applications to conventional programming language semantics. The class of programs to which we apply our theorem was defined previously by us in terms of operators using three-valued logics. However, the new treatment we provide here is short and intuitive, and provides further evidence that metriclike structures are an appropriate setting for the study of logic programming semantics.
JA - SCI2000 and ISAS2000
CY - Orlando, Florida, USA
ER -
TY - ABST
T1 - A Topological View of Acceptability
Y1 - 2000
A1 - Anthony K. Seda
A1 - Pascal Hitzler
ER -
TY - CONF
T1 - Acceptable Programs Revisited
Y1 - 1999
A1 - Anthony K. Seda
A1 - Pascal Hitzler
KW - l and o and g and i and c and and p and r and o and g and r and a and m and s
AB - Acceptable logic programs have been studied extensively in the context of proving termination of Prolog programs. It is difficult, however, to establish acceptability from the definition since this depends on finding a suitable model, which need not be a Herbrand model in general, together with a suitable level mapping that one can use to check the conditions which characterize acceptability. In this paper, we will see that when working over a fixed but arbitrary preinterpretation, a method can be provided for obtaining both a suitable model and a canonical level mapping which are sufficient for this purpose. Furthermore, the canonical model and level mapping obtained will turn out to be sufficient for discussing termination of non-ground queries.
PB - Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99),
ER -
TY - CONF
T1 - A Characterization of Acceptability
T2 - A Characterization of Acceptability
Y1 - 1999
A1 - Anthony K. Seda
A1 - Pascal Hitzler
JA - A Characterization of Acceptability
ER -
TY - CONF
T1 - Characterizations of Classes of Programs by Three-valued Operators
T2 - Characterizations of Classes of Programs by Three-valued Operators
Y1 - 1999
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - Several important classes of normal logic programs, including the classes of acyclic, acceptable, and locally hierarchical programs, have the property that every program in the class has a unique twovalued supported model. In this paper, we call such classes unique supported model classes. We analyse and characterize these classes by means of operators on three-valued logics. Our studies will motivate the definition of a larger unique supported model class which we call the class of Phi-accessible programs. Finally, we show that the class of Phi -accessible programs is computationally adequate in that every partial recursive function can be implemented by such a program.
JA - Characterizations of Classes of Programs by Three-valued Operators
ER -
TY - CONF
T1 - Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases
Y1 - 1999
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - In this paper, we discuss the semantics of disjunctive programs and databases and show how multivalued mappings and their fixed points arise naturally within this context. A number of fixed-point theorems for multivalued mappings are considered, some of which are already known and some of which are new. The notion of a normal derivative of a disjunctive program is introduced. Normal derivatives are normal logic programs which are determined by the disjunctive program. Thus, the well-known single-step operator associated with a normal derivative is single-valued, and its fixed points can be found by well-established means. It is shown how fixed points of the multivalued mapping determined by a disjunctive program relate to the fixed points of the single-step operators coming from its normal derivatives. This procedure has potential for simplifying the construction of models of disjunctive databases, and this point is discussed. Most of the results for multivalued mappings rest on corresponding, known results concerning fixed points of single-valued mappings. Since the latter results are frequently referred to, they have been collected together for convenience in a survey which should be of independent interest as well as being preparatory for the later results. Finally, a number of problems and issues raised by this work are discussed.
PB - Electronic Workshops in Computing, British Computer Society
ER -
TY - JOUR
T1 - Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem
JF - Topology Proceedings
Y1 - 1999
A1 - Anthony K. Seda
A1 - Pascal Hitzler
KW - fixed points
KW - Knaster Tarski and Kleene theorems
KW - multivalued mappings
AB - Many questions concerning the semantics of disjunctive databases and of logic programming systems depend on the fixed points of various multivalued mappings and operations determined by the database or program. We discuss known versions for multivalued mappings of the Knaster-Tarski theorem and of the Banach contraction mapping theorem and formulate a version of the classical fixed point theorem (sometimes attributed to Kleene) which is new. All these results have applications to the semantics of disjunctive logic programs, and we will describe a class of programs to which the new theorem can be applied. We also show that a unification of the latter two theorems is possible, using quasi-metrics, which parallels the well-known unification of Rutten and Smyth in the case of conventional programming language semantics.
ER -
TY - CONF
T1 - Strictly Level-Decreasing Logic Programs
Y1 - 1998
A1 - Anthony K. Seda
A1 - Pascal Hitzler
AB - We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic programs, have both a highly intuitive declarative semantics, given as a unique supported model, and are computationally adequate in the sense that every partial recursive function can be represented by some sld-program *P*. Allowing for a safe use of cuts, an interpreter based on SLDNF-resolution, as implemented for example in standard Prolog systems, is shown to be sound and complete with respect to this class of programs. Furthermore, we study connections between topological dynamics and logic programming which are suggested by our approach to the declarative semantics of sld-programs.
PB - the Second Irish Workshop on Formal Methods
ER -
TY - CHAP
T1 - Der Kontraktionssatz auf metrischen Raumen
Y1 - 1997
A1 - Pascal Hitzler
ER -
TY - CHAP
T1 - Fixpunktsemantik
Y1 - 1997
A1 - M. Grimm
A1 - G. Kalmbach
A1 - Pascal Hitzler
ER -
TY - ABST
T1 - Sur les programmes logiques localement stratifiés
Y1 - 1997
A1 - Anthony Seda
A1 - Pascal Hitzler
ER -
TY - CHAP
T1 - Spieltheorie
Y1 - 1996
A1 - Alexander Chocholaty
A1 - Pascal Hitzler
ER -