Reasoning in ELH w.r.t. General Concept Inclusion Axioms

The invention provides a control mechanism for the advancing and withdrawal of a functioning part displaceable in a housing against or under the influence of a spring and for locking the part alternately in an advanced and withdrawn position. The mechanism is of a construction which enables it to be made relatively small and of a few parts, e.g. of injection molded plastic, so as to take up little space and is particularly suitable for use in a writing implement for advancing and withdrawing a writing cartridge within the housing of the implement.

[1]  Robert Givan,et al.  Tarskian Set Constraints , 2002, Inf. Comput..

[2]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[3]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[4]  A L Rector,et al.  Goals for concept representation in the GALEN project. , 1993, Proceedings. Symposium on Computer Applications in Medical Care.

[5]  Franz Baader.  The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics , 2003, KI.

[6]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[7]  Francesco M. Donini,et al.  Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[8]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

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

[10]  Kent A. Spackman,et al.  Normal forms for description logic expressions of clinical concepts in SNOMED RT , 2001, AMIA.

[11]  Yevgeny Kazakov,et al.  Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete , 2003, Description Logics.

[12]  Franz Baader,et al.  How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.

[13]  Paliath Narendran,et al.  Unification of Concept Terms in Description Logics , 2001, Description Logics.

[14]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[15]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[16]  Daniele Nardi,et al.  An Introduction to Description Logics , 2003, Description Logic Handbook.

[17]  Franz Baader,et al.  From Tableaux to Automata for Description Logics , 2003, Fundam. Informaticae.

[18]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[19]  Frank J. Oles,et al.  The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics , 1993, IJCAI.

[20]  Deborah L. McGuinness,et al.  Matching in Description Logics , 1999, J. Log. Comput..

[21]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[22]  Ian Horrocks,et al.  A Description Logic Based Schema for the Classification of Medical Data , 1996, KRDB.

[23]  Carsten Lutz,et al.  Complexity of Terminological Reasoning Revisited , 1999, LPAR.

[24]  M. S. Blois,et al.  What is medical informatics? , 1986, The Western journal of medicine.

[25]  John F. Sowa,et al.  Principles of semantic networks , 1991 .