Jeff Z. Pan

University of Aberdeen, Aberdeen, Scotland, United Kingdom

Are you Jeff Z. Pan?

Claim your profile

Publications (133)4.58 Total impact

  • Source
  • [show abstract] [hide abstract]
    ABSTRACT: Processes in software development generally have two facets. They can be model objects, as described in Sect. 4.2, and also workflows, as described in Sect. 4.3. In this chapter, we analyse typical problems in process modelling and develop ontology reasoning technologies to address them in the ODSD infrastructure. We show how different ontological representation of process models can be constructed for different purposes and how reasoning can be applied to guarantee the consistency of models.
    01/2013: pages 219-252; , ISBN: 978-3-642-31226-7
  • [show abstract] [hide abstract]
    ABSTRACT: This chapter reports about the software process guidance in ontology-driven software development (ODSD), one of the core ontology-enabled services of the ODSD environments. Ontology-driven software process guidance amounts to a significant step forward in software engineering in general (cf. Fig. 1.1 on p. 3). Its role is to guide developers through a complex software development process by providing information about the consistency of artefacts and about the tasks to be accomplished to reach a particular development goal.
    01/2013: pages 293-318; , ISBN: 978-3-642-31226-7
  • Source
    [show abstract] [hide abstract]
    ABSTRACT: Requirements Engineering (RE) is essential to a software project. As the result of RE process, software Requirement Speci�ca- tions (SRS) should be consistent, correct and complete. However, the acquisition, speci�cation and evolution of requirements from dierent stakeholders or sources usually leads to incomplete, ambiguous, and faulty requirements. This may become an incalculable risk for the whole project and a disaster for the �nal software product. In this paper we present a method to improve the quality of a SRS semi-automatically. Facilitated by ontology reasoning techniques, we describe how to detect and repair faulty information in the SRS. Furthermore, we also provide various metrics to measure the quality of the SRS at any time during the RE process. Finally, we generalize our approach to be applicable for any information captured in an ontology.
    Proceedings of the 8th International Workshop on Semantic Web Enabled Software Engineering (SWESE 2012; 12/2012
  • Source
    [show abstract] [hide abstract]
    ABSTRACT: A matchmaking system for finding renting houses is required as the housing problem becomes serious in China and many people resort to rent a house. A semantic approach based on abductive conjunctive query answering (CQA) in Description Logic ontologies is exploited to provide more matches for a request about renting houses. Moreover, a matchmaking system based on this approach is developed. This demo will guide users to find suitable renting houses using this matchmaking system and show the advantages of the system.
    01/2012;
  • J. Web Sem. 01/2011; 9:245-246.
  • Source
    Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du
    Int. J. Intell. Syst. 01/2011; 26:353-381.
  • Source
    [show abstract] [hide abstract]
    ABSTRACT: The goal of the Scalable OWL 2 Reasoning for Linked Data lecture is twofold: first, to introduce scalable reasoning and querying techniques to Semantic Web researchers as powerful tools to make use of Linked Data and large-scale ontologies, and second, to present interesting research problems for the Semantic Web that arise in dealing with TBox and ABox reasoning in OWL 2. The lecture consists of three parts. The first part will begin with an introduction and motivation for reasoning over Linked Data, including a survey of the use of RDFS and OWL on the Web. The second part will present a scalable, distributed reasoning service for instance data, applying a custom subset of OWL 2 RL/RDF rules (based on a tractable fragment of OWL 2). The third part will present recent work on faithful approximate reasoning for OWL 2 DL. The lecture will include our implementation of the mentioned techniques as well as their evaluations. These notes provide complimentary reference material for the lecture, and follow the three-part structure and content of the lecture.
    Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures; 01/2011
  • Source
    Yuan Ren, Jeff Z. Pan
    [show abstract] [hide abstract]
    ABSTRACT: So far researchers in the Description Logics / Ontology communities mainly consider ontology reasoning services for static ontologies. The rapid development of the Semantic Web and its emerging data ask for reasoning technologies for dynamic knowledge streams. Existing work on stream reasoning is focused on lightweight languages such as RDF and RDFS. In this paper, we introduce the notion of Ontology Stream Management System (OSMS) and present a stream-reasoning approach based on Truth Maintenance System (TMS). We present optimised EL++ algorithm to reduce memory consumption. Our evaluations show that the optimisation improves TMS-enabled EL++ reasoning to deal with relatively large volumes of data and update efficiently.
    Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011; 01/2011
  • Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011; 01/2011
  • Source
    [show abstract] [hide abstract]
    ABSTRACT: Computing all diagnoses of an inconsistent ontology is important in ontology-based applications. However, the number of diagnoses can be very large. It is impractical to enumerate all diagnoses before identifying the target one to render the ontology consistent. Hence, we propose to represent all diagnoses by multiple sets of partial diagnoses, where the total number of partial diagnoses can be small and the target diagnosis can be directly retrieved from these partial diagnoses. We also propose methods for computing the new representation of all diagnoses in an OWL DL ontology. Experimental results show that computing the new representation of all diagnoses is much easier than directly computing all diagnoses.
    IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011; 01/2011
  • Source
    [show abstract] [hide abstract]
    ABSTRACT: In this paper, we describe the Knowledge Organisation System Implicit Mapping (KOSIMap) framework, which differs from existing ontology mapping approaches by using description logic reasoning (i) to extract implicit information for every entity, and (ii) to remove inappropriate mappings from an alignment.
    Proceedings of the 6th International Workshop on Ontology Matching, Bonn, Germany, October 24, 2011; 01/2011
  • Source
    [show abstract] [hide abstract]
    ABSTRACT: In this paper, we discuss optimisations of rule-based materialisation approaches for reasoning over large static RDF datasets. We generalise and re-formalise what we call the “partial-indexing” approach to scalable rule-based materialisation: the approach is based on a separation of terminological data, which has been shown in previous and related works to enable highly scalable and distributable reasoning for specific rulesets; in so doing, we provide some completeness propositions with respect to semi-naïve evaluation. We then show how related work on template rules – T-Box-specific dynamic rulesets created by binding the terminological patterns in the static ruleset – can be incorporated and optimised for the partial-indexing approach. We evaluate our methods using LUBM(10) for RDFS, pD* (OWL Horst) and OWL 2 RL, and thereafter demonstrate pragmatic distributed reasoning over 1.12 billion Linked Data statements for a subset of OWL 2 RL/RDF rules we argue to be suitable for Web reasoning.
    08/2010: pages 337-353;
  • 07/2010: pages 229 - 247; , ISBN: 9780470588222
  • Source
    Yuan Ren, Jeff Z. Pan, Yuting Zhao
    [show abstract] [hide abstract]
    ABSTRACT: Large scale semantic web applications require e cient and robust description logic (DL) reasoning services. In this pa- per, we present a soundness preserving tractable approxima- tive reasoning approach for TBox reasoning inR, a fragment of OWL2-DL supportingALC GCIs and role chains with 2Ex- pTime-hard complexity. We first rewrite the ontologies into EL+ with an additional complement table maintaining the complementary relations between named concepts, and then classify the approximation. Preliminary evaluation shows that our approach can classify existing benchmarks in large scale e ciently with a high recall.
    Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010; 01/2010
  • [show abstract] [hide abstract]
    ABSTRACT: This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit the software modeller on leveraging the software development life cycle through a practical use case.
    The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II; 01/2010
  • [show abstract] [hide abstract]
    ABSTRACT: Ontologies and its reasoning services are expected to play an important role in many application domains, as well as in software engineering in general. In model-driven engineering (MDE), models, like UML models, represent and specify software systems. One problem with using ontologies within software engineering is that while model-driven engineering realizes a four-layer metamodeling architecture, the new version of OWL Web Ontology Language, called OWL 2, it supports only simple metamodeling. Moreover, the semantics of metamodeling in OWL 2 corresponds to the contextual semantics, which leads to non-intuitive results. Another issue is that the Open World Assumption (OWA) assumes a model is incomplete. Therefore, we could not validate some constrains in OWA. In this paper, we demonstrate multilevel (meta-) modelling using ontologies described in OWL FA, which has a well-defined fixed-layered architecture and semantics. As well as an approach to integrate Closed World Assumption(CWA) with OWA in order to use both assumptions for verifying and validating multilevel models.
    Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings; 01/2010
  • Source
    Edward Thomas, Jeff Z. Pan, Yuan Ren
    [show abstract] [hide abstract]
    ABSTRACT: The Semantic Web movement has led to the publication of thousands of ontologies online. These ontologies present and mediate information and knowledge on the Semantic Web. Tools exist to reason over these ontologies and to answer queries over them, but there are no large scale infrastructures for storing, reasoning, and querying ontologies on a scale that would be useful for a large enterprise or research institution. We present the TrOWL infrastructure for transforming, reasoning, and querying OWL2 ontologies which uses novel techniques such as Quality Guaranteed Approximations and Forgetting to achieve this goal.
    The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II; 01/2010
  • [show abstract] [hide abstract]
    ABSTRACT: In the last five years, more than thirteen billion facts have been posted in public, open, semantically rich data sets on the World Wide Web. These data sets and the links between data sets contain an enormous amount of information which is of interest of scientists from all disciplines, but the sheer size of them, combined with the complexity of the underly- ing languages, makes these data sets unwieldy when tackled with traditional knowledge management tools. In this pa- per, we look at some new techniques which are available to deal with these problems, and see how and when they should be applied.
    01/2010;
  • Source
    Quentin Reul, Jeff Z. Pan
    [show abstract] [hide abstract]
    ABSTRACT: Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar information in heterogeneous ontologies. In this paper, we describe the knowledge Organisation System Implicit Mapping (KOSIMap) framework, which differs from existing ontology mapping approaches by using description logic reasoning (i) to extract implicit information as background knowledge for every entity, and (ii) to remove inappropriate mappings from an alignment. The results of our evaluation show that the use of Description Logic in the ontology matching task increases coverage.
    Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010; 01/2010