Knowledge Engineering and Software Engineering

In the past many experience factory case studies and experiments have been carried out. We summarize some development steps and research results that, from our perspective, are important. We especially focus on the integration of experience factory and case-based reasoning and report on the respective benefits and impacts of such a seamless integration.

[1]  Margret Groß-Hardt,et al.  Concept based querying of semistructured data , 2002, XSW.

[2]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[3]  Dieter Fensel,et al.  Developing Knowledge-Based Systems with MIKE , 1998, Automated Software Engineering.

[4]  Bernd Thomas,et al.  Bottom-Up Learning of Logic Programs for Information Extraction from Hypertext Documents , 2003, PKDD.

[5]  J. Palma,et al.  ACUDES: architecture for intensive care units decision support , 2002, Proceedings of the Second Joint 24th Annual Conference and the Annual Fall Meeting of the Biomedical Engineering Society] [Engineering in Medicine and Biology.

[6]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[7]  Donald J. Reifer,et al.  Let the Numbers Do the Talking , 2002 .

[8]  Jürgen Ebert,et al.  Web Engineering does profit from a Functional Approach , 2005 .

[9]  J. Ebert,et al.  A Generalization of the Hyperspace Approach Using Meta-Models , 2003 .

[10]  Alex Sinner,et al.  KRHyper - In your pocket : System description , 2005 .

[11]  I.M. del Aguila,et al.  Integration of development methodologies for the building of knowledge intensive multiagent systems , 2003, IEMC '03 Proceedings. Managing Technologically Driven Organizations: The Human Side of Innovation and Change (IEEE Cat. No.03CH37502).

[12]  Volker Haarslev,et al.  Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.

[13]  Enrico Motta,et al.  Reusable components for knowledge modelling , 1998 .

[14]  Christoph Wernhard,et al.  System Description : KRHyper , 2003 .

[15]  Daniel E. O'Leary,et al.  Using AI in Knowledge Management: Knowledge Bases and Ontologies , 1998, IEEE Intell. Syst..

[16]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[17]  Vladan Devedzic,et al.  Key issues in next-generation Web-based education , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[18]  Oliver Obst,et al.  Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments: A Response to a Technical Challenge , 2003, RoboCup.

[19]  Oliver Obst,et al.  HTN Planning for Flexible Coordination Of Multiagent Team Behavior , 2005 .

[20]  Peter Baumgartner,et al.  Automated Reasoning, Knowledge Representation and Management , 2005, Künstliche Intell..

[21]  Peter Baumgartner,et al.  Hyper Tableaux The Next Generation , 1997 .

[22]  Masaki Ogino,et al.  Getting closer: How Simulation and Humanoid League can benefit from each other , 2005, AMiRE.

[23]  Allen Ginsberg,et al.  Theory Revision via Prior Operationalization , 1988, AAAI.

[24]  Sholom M. Weiss,et al.  Automatic Knowledge Base Refinement for Classification Systems , 1988, Artif. Intell..

[25]  Margret Groß-Hardt,et al.  Processing of Concept Based Queries for XML Data , 2002 .

[26]  Peter Brusilovsky,et al.  Adaptive and Intelligent Technologies for Web-based Eduction , 1999, Künstliche Intell..

[27]  Francesco M. Donini,et al.  Abductive Matchmaking using Description Logics , 2003, IJCAI.

[28]  Benno Stein,et al.  Proceedings of the Second International Workshop on Text-Based Information Retrieval , 2005 .

[29]  Donald J. Reifer.  Estimating Web Development Costs: There Are Differences , 2002 .

[30]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

[31]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[32]  Alun Preece,et al.  State of the art in automated validation of knowledge-based systems☆ , 1994 .

[33]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[34]  J. Ross Quinlan,et al.  Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[35]  Guillermo R. Simari,et al.  lntroducing generalized specificity in logic programming , 2000 .

[36]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[37]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

[38]  Stephan Philippi,et al.  Modelling a concurrent ray-tracing algorithm using object-oriented Petri-Nets , 2001 .

[39]  Peter Baumgartner,et al.  The Taming of the (X)OR , 2000, Computational Logic.

[40]  H. Rittel,et al.  Dilemmas in a general theory of planning , 1973 .

[41]  Emma L. Tonkin,et al.  Making the Case for a Wiki , 2005 .

[42]  Peter Mika,et al.  Towards a new synthesis of ontology technology and knowledge management , 2004, The Knowledge Engineering Review.

[43]  Francesco M. Donini,et al.  A system for principled matchmaking in an electronic marketplace , 2003, WWW '03.

[44]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[45]  Achim Rettinger,et al.  Intelligent exploration for genetic algorithms: using self-organizing maps in evolutionary computation , 2008, GECCO '05.

[46]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[47]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[48]  Peter Baumgartner,et al.  Hyper Tableaux , 1996, JELIA.

[49]  Andreas von Hessling.  Semantic User Profiles and their Applications in a Mobile Environment , 2004 .

[50]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[51]  Marco Valtorta,et al.  Refinement of Uncertain Rule Bases via Reduction , 1995, Int. J. Approx. Reason..

[52]  A. Kitchen,et al.  Knowledge based systems in artificial intelligence , 1985, Proceedings of the IEEE.

[53]  Peter Baumgartner,et al.  Automated Deduction Techniques for the Management of Personalized Documents , 2003, Annals of Mathematics and Artificial Intelligence.

[54]  Peter Baumgartner,et al.  First-order logic Davis-Putnam-Logemann-Loveland procedure , 2003 .

[55]  Bertin Klein,et al.  A Practical Application of Ontologies for Knowledge Sharing and Trading , 2004, LWA.

[56]  Hildegard Rumetshofer,et al.  XML-based Adaptation Framework for Psychological-driven E-learning Systems , 2003, J. Educ. Technol. Soc..

[57]  Cynthia Mathis Beath,et al.  The Information Technology Interaction Model: A Foundation for the MBA Core Course , 1995, MIS Q..

[58]  B. Bloom.  Human Characteristics and School Learning , 1979 .

[59]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.

[60]  Rainer Knauf,et al.  A framework for validation of rule-based systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[61]  Allen Ginsberg,et al.  Automatic Refinement of Expert System Knowledge Bases , 1988 .

[62]  Peter Baumgartner,et al.  Model Based Deduction for Database Schema Reasoning , 2004, KI.

[63]  Hafedh Mili,et al.  Reuse based software engineeing : techniques, organization, and measurement , 2002 .

[64]  Andreas Winter,et al.  Metamodel-driven Service Interoperability , 2005 .

[65]  DIMITRIOS PIERRAKOS,et al.  User Modeling and User-Adapted Interaction , 1994, User Modeling and User-Adapted Interaction.

[66]  Fabian M. Suchanek,et al.  Automated Reasoning Support for SUMO/KIF , 2005 .

[67]  Frans Coenen,et al.  Validation and verification of knowledge based systems : theory, tools and practice , 1999 .

[68]  Peter Baumgartner,et al.  Living Book – Deduction, Slicing, and Interaction , 2004, Journal of Automated Reasoning.

[69]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[70]  Rainer Knauf,et al.  Validating rule-based systems: a complete methodology , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[71]  Hans van der Heijden,et al.  User Acceptance of Hedonic Information Systems , 2004, MIS Q..

[72]  Yuval Shahar,et al.  Task Modeling with Reusable Problem-Solving Methods , 1995, Artif. Intell..

[73]  Andreas Winter,et al.  Towards a Common Query Language for Reverse Engineering , 2002 .

[74]  Mark A. Musen.  Ontology-Oriented Design and Programming , 2000 .

[75]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[76]  Kinshuk,et al.  Adaptation to Student Learning Styles in Web Based Educational Systems , 2004 .

[77]  Oliver Obst,et al.  Simulation League: The Next Generation , 2003, RoboCup.

[78]  Manfred Rosendahl,et al.  Specification of Symbols and Implementation of Their Constraints in JKogge , 2000 .

[79]  Peter Baumgartner,et al.  The Model Evolution Calculus , 2003, CADE.

[80]  Jörg Rech,et al.  The Fraunhofer IESE Experience Management System , 2002, Künstliche Intell..

[81]  Rachelle S. Heller,et al.  Collaborative Teams Solve Wicked Problems: Theory into Practice , 2003 .

[82]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[83]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[84]  Vladan Devedzic,et al.  The GET-BITS Model of intelligent tutoring systems , 2000 .

[85]  Andy Schürr,et al.  GXL: toward a standard exchange format , 2000, Proceedings Seventh Working Conference on Reverse Engineering.

[86]  Even-André Karlsson,et al.  Software reuse: a holistic approach , 1995 .

[87]  Allen Ginsberg,et al.  Theory Reduction, Theory Revision, and Retranslation , 1990, AAAI.

[88]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[89]  David A. Wiley,et al.  Online Self-Organizing Social Systems: The Decentralized Future of Online Learning , 2002 .

[90]  Ralph Bergmann,et al.  Case-Based Reasoning Support for Online Catalog Sales , 1998, IEEE Internet Comput..

[91]  Oliver Obst,et al.  Towards a Logical Approach for Soccer Agents Engineering , 2000, RoboCup.

[92]  Steffen Staab,et al.  Situation and Perspective of Knowledge Engineering , 2000 .

[93]  Mark S. Ackerman,et al.  The perfect search engine is not enough: a study of orienteering behavior in directed search , 2004, CHI.

[94]  M. Korotkiy.  On the Effect of Ontologies on Quality of Web Applications , 2005, 2005 portuguese conference on artificial intelligence.

[95]  D. Schunk,et al.  Self-Efficacy and Academic Motivation , 2002 .

[96]  Ulrich Furbach,et al.  Automatic Classification for the Identification of Relationships in a Meta-Data Repository , 2003, Discovery Science.

[97]  Kurt Lautenbach,et al.  Logical Reasoning and Petri Nets , 2003, ICATPN.

[98]  Nirup M. Menon,et al.  Managing Technology and Administration Innovations: Four Case Studies on Software Reuse , 2004, J. Assoc. Inf. Syst..

[99]  Bill Swartout,et al.  Description-Logic Knowledge Representation System Specification from the KRSS Group of the ARPA Know , 1993 .

[100]  Nicholas Kushmerick,et al.  Adaptive Information Extraction: Core Technologies for Information Agents , 2003, AgentLink.