---
_id: '56571'
author:
- first_name: Volker
  full_name: Haarslev, Volker
  last_name: Haarslev
- first_name: Ralf
  full_name: Möller, Ralf
  last_name: Möller
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Haarslev V, Möller R, Turhan A-Y. Exploiting Pseudo Models for TBox and ABox
    Reasoning in Expressive Description Logics. In: Goré R, Leitsch A, Nipkow T, eds.
    <i>Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena,
    Italy, June 18-23, 2001, Proceedings</i>. Vol 2083. Lecture Notes in Computer
    Science. Springer; 2001:61–75. doi:<a href="https://doi.org/10.1007/3-540-45744-5_6">10.1007/3-540-45744-5_6</a>'
  apa: Haarslev, V., Möller, R., &#38; Turhan, A.-Y. (2001). Exploiting Pseudo Models
    for TBox and ABox Reasoning in Expressive Description Logics. In R. Goré, A. Leitsch,
    &#38; T. Nipkow (Eds.), <i>Automated Reasoning, First International Joint Conference,
    IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i> (Vol. 2083, pp. 61–75).
    Springer. <a href="https://doi.org/10.1007/3-540-45744-5_6">https://doi.org/10.1007/3-540-45744-5_6</a>
  bibtex: '@inproceedings{Haarslev_Möller_Turhan_2001, series={Lecture Notes in Computer
    Science}, title={Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive
    Description Logics}, volume={2083}, DOI={<a href="https://doi.org/10.1007/3-540-45744-5_6">10.1007/3-540-45744-5_6</a>},
    booktitle={Automated Reasoning, First International Joint Conference, IJCAR 2001,
    Siena, Italy, June 18-23, 2001, Proceedings}, publisher={Springer}, author={Haarslev,
    Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Goré, Rajeev and Leitsch,
    Alexander and Nipkow, Tobias}, year={2001}, pages={61–75}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Exploiting Pseudo
    Models for TBox and ABox Reasoning in Expressive Description Logics.” In <i>Automated
    Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June
    18-23, 2001, Proceedings</i>, edited by Rajeev Goré, Alexander Leitsch, and Tobias
    Nipkow, 2083:61–75. Lecture Notes in Computer Science. Springer, 2001. <a href="https://doi.org/10.1007/3-540-45744-5_6">https://doi.org/10.1007/3-540-45744-5_6</a>.
  ieee: 'V. Haarslev, R. Möller, and A.-Y. Turhan, “Exploiting Pseudo Models for TBox
    and ABox Reasoning in Expressive Description Logics,” in <i>Automated Reasoning,
    First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001,
    Proceedings</i>, 2001, vol. 2083, pp. 61–75, doi: <a href="https://doi.org/10.1007/3-540-45744-5_6">10.1007/3-540-45744-5_6</a>.'
  mla: Haarslev, Volker, et al. “Exploiting Pseudo Models for TBox and ABox Reasoning
    in Expressive Description Logics.” <i>Automated Reasoning, First International
    Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i>,
    edited by Rajeev Goré et al., vol. 2083, Springer, 2001, pp. 61–75, doi:<a href="https://doi.org/10.1007/3-540-45744-5_6">10.1007/3-540-45744-5_6</a>.
  short: 'V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow
    (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001,
    Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.'
date_created: 2024-10-10T13:42:39Z
date_updated: 2024-10-10T13:42:57Z
doi: 10.1007/3-540-45744-5_6
editor:
- first_name: Rajeev
  full_name: Goré, Rajeev
  last_name: Goré
- first_name: Alexander
  full_name: Leitsch, Alexander
  last_name: Leitsch
- first_name: Tobias
  full_name: Nipkow, Tobias
  last_name: Nipkow
intvolume: '      2083'
language:
- iso: eng
page: 61–75
publication: Automated Reasoning, First International Joint Conference, IJCAR 2001,
  Siena, Italy, June 18-23, 2001, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description
  Logics
type: conference
user_id: '15504'
volume: 2083
year: '2001'
...
---
_id: '56572'
author:
- first_name: Franz
  full_name: Baader, Franz
  last_name: Baader
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Baader F, Turhan A-Y. TBoxes do not Yield a Compact Representation of Least
    Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds.
    <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001),
    Stanford, CA, USA, August 1-3, 2001</i>. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org;
    2001.'
  apa: Baader, F., &#38; Turhan, A.-Y. (2001). TBoxes do not Yield a Compact Representation
    of Least Common Subsumers. In C. A. Goble, D. L. McGuinness, R. Möller, &#38;
    P. F. Patel-Schneider (Eds.), <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i> (Vol. 49).
    CEUR-WS.org.
  bibtex: '@inproceedings{Baader_Turhan_2001, series={CEUR Workshop Proceedings},
    title={TBoxes do not Yield a Compact Representation of Least Common Subsumers},
    volume={49}, booktitle={Working Notes of the 2001 International Description Logics
    Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org},
    author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Goble, Carole A. and McGuinness,
    Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR
    Workshop Proceedings} }'
  chicago: Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation
    of Least Common Subsumers.” In <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by
    Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider,
    Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
  ieee: F. Baader and A.-Y. Turhan, “TBoxes do not Yield a Compact Representation
    of Least Common Subsumers,” in <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, 2001, vol.
    49.
  mla: Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation
    of Least Common Subsumers.” <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by
    Carole A. Goble et al., vol. 49, CEUR-WS.org, 2001.
  short: 'F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F.
    Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics
    Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.'
date_created: 2024-10-10T13:43:21Z
date_updated: 2024-10-10T13:43:32Z
editor:
- first_name: Carole A.
  full_name: Goble, Carole A.
  last_name: Goble
- first_name: Deborah L.
  full_name: McGuinness, Deborah L.
  last_name: McGuinness
- first_name: Ralf
  full_name: Möller, Ralf
  last_name: Möller
- first_name: Peter F.
  full_name: Patel-Schneider, Peter F.
  last_name: Patel-Schneider
intvolume: '        49'
language:
- iso: eng
publication: Working Notes of the 2001 International Description Logics Workshop (DL-2001),
  Stanford, CA, USA, August 1-3, 2001
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: TBoxes do not Yield a Compact Representation of Least Common Subsumers
type: conference
user_id: '15504'
volume: 49
year: '2001'
...
---
_id: '56573'
author:
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Ralf
  full_name: Molitor, Ralf
  last_name: Molitor
citation:
  ama: 'Turhan A-Y, Molitor R. Using Lazy Unfolding for the Computation of Least Common
    Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. <i>Working
    Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford,
    CA, USA, August 1-3, 2001</i>. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org;
    2001.'
  apa: Turhan, A.-Y., &#38; Molitor, R. (2001). Using Lazy Unfolding for the Computation
    of Least Common Subsumers. In C. A. Goble, D. L. McGuinness, R. Möller, &#38;
    P. F. Patel-Schneider (Eds.), <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i> (Vol. 49).
    CEUR-WS.org.
  bibtex: '@inproceedings{Turhan_Molitor_2001, series={CEUR Workshop Proceedings},
    title={Using Lazy Unfolding for the Computation of Least Common Subsumers}, volume={49},
    booktitle={Working Notes of the 2001 International Description Logics Workshop
    (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Turhan,
    Anni-Yasmin and Molitor, Ralf}, editor={Goble, Carole A. and McGuinness, Deborah
    L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR
    Workshop Proceedings} }'
  chicago: Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation
    of Least Common Subsumers.” In <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by
    Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider,
    Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
  ieee: A.-Y. Turhan and R. Molitor, “Using Lazy Unfolding for the Computation of
    Least Common Subsumers,” in <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, 2001, vol.
    49.
  mla: Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation
    of Least Common Subsumers.” <i>Working Notes of the 2001 International Description
    Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by
    Carole A. Goble et al., vol. 49, CEUR-WS.org, 2001.
  short: 'A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F.
    Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics
    Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.'
date_created: 2024-10-10T13:43:55Z
date_updated: 2024-10-10T13:44:10Z
editor:
- first_name: Carole A.
  full_name: Goble, Carole A.
  last_name: Goble
- first_name: Deborah L.
  full_name: McGuinness, Deborah L.
  last_name: McGuinness
- first_name: Ralf
  full_name: Möller, Ralf
  last_name: Möller
- first_name: Peter F.
  full_name: Patel-Schneider, Peter F.
  last_name: Patel-Schneider
intvolume: '        49'
language:
- iso: eng
publication: Working Notes of the 2001 International Description Logics Workshop (DL-2001),
  Stanford, CA, USA, August 1-3, 2001
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Using Lazy Unfolding for the Computation of Least Common Subsumers
type: conference
user_id: '15504'
volume: 49
year: '2001'
...
---
_id: '56574'
author:
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Volker
  full_name: Haarslev, Volker
  last_name: Haarslev
citation:
  ama: 'Turhan A-Y, Haarslev V. Adapting Optimization Techniques to Description Logics
    with Concrete Domains. In: Baader F, Sattler U, eds. <i>Proceedings of the 2000
    International Workshop on Description Logics (DL2000), Aachen, Germany, August
    17-19, 2000</i>. Vol 33. CEUR Workshop Proceedings. CEUR-WS.org; 2000:247–256.'
  apa: Turhan, A.-Y., &#38; Haarslev, V. (2000). Adapting Optimization Techniques
    to Description Logics with Concrete Domains. In F. Baader &#38; U. Sattler (Eds.),
    <i>Proceedings of the 2000 International Workshop on Description Logics (DL2000),
    Aachen, Germany, August 17-19, 2000</i> (Vol. 33, pp. 247–256). CEUR-WS.org.
  bibtex: '@inproceedings{Turhan_Haarslev_2000, series={CEUR Workshop Proceedings},
    title={Adapting Optimization Techniques to Description Logics with Concrete Domains},
    volume={33}, booktitle={Proceedings of the 2000 International Workshop on Description
    Logics (DL2000), Aachen, Germany, August 17-19, 2000}, publisher={CEUR-WS.org},
    author={Turhan, Anni-Yasmin and Haarslev, Volker}, editor={Baader, Franz and Sattler,
    Ulrike}, year={2000}, pages={247–256}, collection={CEUR Workshop Proceedings}
    }'
  chicago: Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques
    to Description Logics with Concrete Domains.” In <i>Proceedings of the 2000 International
    Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i>,
    edited by Franz Baader and Ulrike Sattler, 33:247–256. CEUR Workshop Proceedings.
    CEUR-WS.org, 2000.
  ieee: A.-Y. Turhan and V. Haarslev, “Adapting Optimization Techniques to Description
    Logics with Concrete Domains,” in <i>Proceedings of the 2000 International Workshop
    on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i>, 2000,
    vol. 33, pp. 247–256.
  mla: Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques
    to Description Logics with Concrete Domains.” <i>Proceedings of the 2000 International
    Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i>,
    edited by Franz Baader and Ulrike Sattler, vol. 33, CEUR-WS.org, 2000, pp. 247–256.
  short: 'A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings
    of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany,
    August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.'
date_created: 2024-10-10T13:44:32Z
date_updated: 2024-10-10T13:44:45Z
editor:
- first_name: Franz
  full_name: Baader, Franz
  last_name: Baader
- first_name: Ulrike
  full_name: Sattler, Ulrike
  last_name: Sattler
intvolume: '        33'
language:
- iso: eng
page: 247–256
publication: Proceedings of the 2000 International Workshop on Description Logics
  (DL2000), Aachen, Germany, August 17-19, 2000
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Adapting Optimization Techniques to Description Logics with Concrete Domains
type: conference
user_id: '15504'
volume: 33
year: '2000'
...
---
_id: '56575'
author:
- first_name: Volker
  full_name: Haarslev, Volker
  last_name: Haarslev
- first_name: Ralf
  full_name: Möller, Ralf
  last_name: Möller
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Michael
  full_name: Wessel, Michael
  last_name: Wessel
citation:
  ama: 'Haarslev V, Möller R, Turhan A-Y, Wessel M. On Terminological Default Reasoning
    about Spatial Information: Extended Abstract. In: Lambrix P, Borgida A, Lenzerini
    M, Möller R, Patel-Schneider PF, eds. <i>Proceedings of the 1999 International
    Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1,
    1999</i>. Vol 22. CEUR Workshop Proceedings. CEUR-WS.org; 1999.'
  apa: 'Haarslev, V., Möller, R., Turhan, A.-Y., &#38; Wessel, M. (1999). On Terminological
    Default Reasoning about Spatial Information: Extended Abstract. In P. Lambrix,
    A. Borgida, M. Lenzerini, R. Möller, &#38; P. F. Patel-Schneider (Eds.), <i>Proceedings
    of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden,
    July 30 - August 1, 1999</i> (Vol. 22). CEUR-WS.org.'
  bibtex: '@inproceedings{Haarslev_Möller_Turhan_Wessel_1999, series={CEUR Workshop
    Proceedings}, title={On Terminological Default Reasoning about Spatial Information:
    Extended Abstract}, volume={22}, booktitle={Proceedings of the 1999 International
    Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1,
    1999}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and
    Turhan, Anni-Yasmin and Wessel, Michael}, editor={Lambrix, Patrick and Borgida,
    Alexander and Lenzerini, Maurizio and Möller, Ralf and Patel-Schneider, Peter
    F.}, year={1999}, collection={CEUR Workshop Proceedings} }'
  chicago: 'Haarslev, Volker, Ralf Möller, Anni-Yasmin Turhan, and Michael Wessel.
    “On Terminological Default Reasoning about Spatial Information: Extended Abstract.”
    In <i>Proceedings of the 1999 International Workshop on Description Logics (DL’99),
    Linköping, Sweden, July 30 - August 1, 1999</i>, edited by Patrick Lambrix, Alexander
    Borgida, Maurizio Lenzerini, Ralf Möller, and Peter F. Patel-Schneider, Vol. 22.
    CEUR Workshop Proceedings. CEUR-WS.org, 1999.'
  ieee: 'V. Haarslev, R. Möller, A.-Y. Turhan, and M. Wessel, “On Terminological Default
    Reasoning about Spatial Information: Extended Abstract,” in <i>Proceedings of
    the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden,
    July 30 - August 1, 1999</i>, 1999, vol. 22.'
  mla: 'Haarslev, Volker, et al. “On Terminological Default Reasoning about Spatial
    Information: Extended Abstract.” <i>Proceedings of the 1999 International Workshop
    on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999</i>,
    edited by Patrick Lambrix et al., vol. 22, CEUR-WS.org, 1999.'
  short: 'V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, in: P. Lambrix, A. Borgida,
    M. Lenzerini, R. Möller, P.F. Patel-Schneider (Eds.), Proceedings of the 1999
    International Workshop on Description Logics (DL’99), Linköping, Sweden, July
    30 - August 1, 1999, CEUR-WS.org, 1999.'
date_created: 2024-10-10T13:45:08Z
date_updated: 2024-10-10T13:45:22Z
editor:
- first_name: Patrick
  full_name: Lambrix, Patrick
  last_name: Lambrix
- first_name: Alexander
  full_name: Borgida, Alexander
  last_name: Borgida
- first_name: Maurizio
  full_name: Lenzerini, Maurizio
  last_name: Lenzerini
- first_name: Ralf
  full_name: Möller, Ralf
  last_name: Möller
- first_name: Peter F.
  full_name: Patel-Schneider, Peter F.
  last_name: Patel-Schneider
intvolume: '        22'
language:
- iso: eng
publication: Proceedings of the 1999 International Workshop on Description Logics
  (DL’99), Linköping, Sweden, July 30 - August 1, 1999
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: 'On Terminological Default Reasoning about Spatial Information: Extended Abstract'
type: conference
user_id: '15504'
volume: 22
year: '1999'
...
---
_id: '56577'
author:
- first_name: Volker
  full_name: Haarslev, Volker
  last_name: Haarslev
- first_name: Ralf
  full_name: Möller, Ralf
  last_name: Möller
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Haarslev V, Möller R, Turhan A-Y. Implementing an ALCRP(D) ABox Reasoner -
    Progress Report. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds.
    <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98),
    IRST, Povo - Trento, Italy, June 6-8, 1998</i>. Vol 11. CEUR Workshop Proceedings.
    CEUR-WS.org; 1998.'
  apa: Haarslev, V., Möller, R., &#38; Turhan, A.-Y. (1998). Implementing an ALCRP(D)
    ABox Reasoner - Progress Report. In E. Franconi, G. D. Giacomo, R. M. MacGregor,
    W. Nutt, &#38; C. A. Welty (Eds.), <i>Proceedings of the 1998 International Workshop
    on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>
    (Vol. 11). CEUR-WS.org.
  bibtex: '@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings},
    title={Implementing an ALCRP(D) ABox Reasoner - Progress Report}, volume={11},
    booktitle={Proceedings of the 1998 International Workshop on Description Logics
    (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org},
    author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi,
    Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and
    Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }'
  chicago: Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Implementing an
    ALCRP(D) ABox Reasoner - Progress Report.” In <i>Proceedings of the 1998 International
    Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8,
    1998</i>, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor,
    Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org,
    1998.
  ieee: V. Haarslev, R. Möller, and A.-Y. Turhan, “Implementing an ALCRP(D) ABox Reasoner
    - Progress Report,” in <i>Proceedings of the 1998 International Workshop on Description
    Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, 1998, vol. 11.
  mla: Haarslev, Volker, et al. “Implementing an ALCRP(D) ABox Reasoner - Progress
    Report.” <i>Proceedings of the 1998 International Workshop on Description Logics
    (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, edited by Enrico Franconi
    et al., vol. 11, CEUR-WS.org, 1998.
  short: 'V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M.
    MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop
    on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org,
    1998.'
date_created: 2024-10-10T13:46:22Z
date_updated: 2024-10-10T13:46:36Z
editor:
- first_name: Enrico
  full_name: Franconi, Enrico
  last_name: Franconi
- first_name: Giuseppe De
  full_name: Giacomo, Giuseppe De
  last_name: Giacomo
- first_name: Robert M.
  full_name: MacGregor, Robert M.
  last_name: MacGregor
- first_name: Werner
  full_name: Nutt, Werner
  last_name: Nutt
- first_name: Christopher A.
  full_name: Welty, Christopher A.
  last_name: Welty
intvolume: '        11'
language:
- iso: eng
publication: Proceedings of the 1998 International Workshop on Description Logics
  (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Implementing an ALCRP(D) ABox Reasoner - Progress Report
type: conference
user_id: '15504'
volume: 11
year: '1998'
...
---
_id: '56576'
author:
- first_name: Volker
  full_name: Haarslev, Volker
  last_name: Haarslev
- first_name: Ralf
  full_name: Möller, Ralf
  last_name: Möller
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Haarslev V, Möller R, Turhan A-Y. HAM-ALC. In: Franconi E, Giacomo GD, MacGregor
    RM, Nutt W, Welty CA, eds. <i>Proceedings of the 1998 International Workshop on
    Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>. Vol
    11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.'
  apa: Haarslev, V., Möller, R., &#38; Turhan, A.-Y. (1998). HAM-ALC. In E. Franconi,
    G. D. Giacomo, R. M. MacGregor, W. Nutt, &#38; C. A. Welty (Eds.), <i>Proceedings
    of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo -
    Trento, Italy, June 6-8, 1998</i> (Vol. 11). CEUR-WS.org.
  bibtex: '@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings},
    title={HAM-ALC}, volume={11}, booktitle={Proceedings of the 1998 International
    Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8,
    1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and
    Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor,
    Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR
    Workshop Proceedings} }'
  chicago: Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “HAM-ALC.” In <i>Proceedings
    of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo -
    Trento, Italy, June 6-8, 1998</i>, edited by Enrico Franconi, Giuseppe De Giacomo,
    Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop
    Proceedings. CEUR-WS.org, 1998.
  ieee: V. Haarslev, R. Möller, and A.-Y. Turhan, “HAM-ALC,” in <i>Proceedings of
    the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento,
    Italy, June 6-8, 1998</i>, 1998, vol. 11.
  mla: Haarslev, Volker, et al. “HAM-ALC.” <i>Proceedings of the 1998 International
    Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8,
    1998</i>, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
  short: 'V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M.
    MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop
    on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org,
    1998.'
date_created: 2024-10-10T13:45:46Z
date_updated: 2024-10-10T13:45:57Z
editor:
- first_name: Enrico
  full_name: Franconi, Enrico
  last_name: Franconi
- first_name: Giuseppe De
  full_name: Giacomo, Giuseppe De
  last_name: Giacomo
- first_name: Robert M.
  full_name: MacGregor, Robert M.
  last_name: MacGregor
- first_name: Werner
  full_name: Nutt, Werner
  last_name: Nutt
- first_name: Christopher A.
  full_name: Welty, Christopher A.
  last_name: Welty
intvolume: '        11'
language:
- iso: eng
publication: Proceedings of the 1998 International Workshop on Description Logics
  (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: HAM-ALC
type: conference
user_id: '15504'
volume: 11
year: '1998'
...