---
_id: '56557'
author:
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
- first_name: Yusri
full_name: Bong, Yusri
last_name: Bong
citation:
ama: 'Turhan A-Y, Bong Y. Speeding up Approximation with Nicer Concepts. In: Calvanese
D, Franconi E, Haarslev V, et al., eds. Proceedings of the 2007 International
Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano,
Italy, 8-10 June, 2007. Vol 250. CEUR Workshop Proceedings. CEUR-WS.org; 2007.'
apa: Turhan, A.-Y., & Bong, Y. (2007). Speeding up Approximation with Nicer
Concepts. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y.
Turhan, & S. Tessaris (Eds.), Proceedings of the 2007 International Workshop
on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy,
8-10 June, 2007 (Vol. 250). CEUR-WS.org.
bibtex: '@inproceedings{Turhan_Bong_2007, series={CEUR Workshop Proceedings}, title={Speeding
up Approximation with Nicer Concepts}, volume={250}, booktitle={Proceedings of
the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone,
near Bozen-Bolzano, Italy, 8-10 June, 2007}, publisher={CEUR-WS.org}, author={Turhan,
Anni-Yasmin and Bong, Yusri}, editor={Calvanese, Diego and Franconi, Enrico and
Haarslev, Volker and Lembo, Domenico and Motik, Boris and Turhan, Anni-Yasmin
and Tessaris, Sergio}, year={2007}, collection={CEUR Workshop Proceedings} }'
chicago: Turhan, Anni-Yasmin, and Yusri Bong. “Speeding up Approximation with Nicer
Concepts.” In Proceedings of the 2007 International Workshop on Description
Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007,
edited by Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris
Motik, Anni-Yasmin Turhan, and Sergio Tessaris, Vol. 250. CEUR Workshop Proceedings.
CEUR-WS.org, 2007.
ieee: A.-Y. Turhan and Y. Bong, “Speeding up Approximation with Nicer Concepts,”
in Proceedings of the 2007 International Workshop on Description Logics (DL2007),
Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, vol.
250.
mla: Turhan, Anni-Yasmin, and Yusri Bong. “Speeding up Approximation with Nicer
Concepts.” Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, edited
by Diego Calvanese et al., vol. 250, CEUR-WS.org, 2007.
short: 'A.-Y. Turhan, Y. Bong, in: D. Calvanese, E. Franconi, V. Haarslev, D. Lembo,
B. Motik, A.-Y. Turhan, S. Tessaris (Eds.), Proceedings of the 2007 International
Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano,
Italy, 8-10 June, 2007, CEUR-WS.org, 2007.'
date_created: 2024-10-10T13:28:45Z
date_updated: 2024-10-10T13:28:58Z
editor:
- first_name: Diego
full_name: Calvanese, Diego
last_name: Calvanese
- first_name: Enrico
full_name: Franconi, Enrico
last_name: Franconi
- first_name: Volker
full_name: Haarslev, Volker
last_name: Haarslev
- first_name: Domenico
full_name: Lembo, Domenico
last_name: Lembo
- first_name: Boris
full_name: Motik, Boris
last_name: Motik
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
last_name: Turhan
- first_name: Sergio
full_name: Tessaris, Sergio
last_name: Tessaris
intvolume: ' 250'
language:
- iso: eng
publication: Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Speeding up Approximation with Nicer Concepts
type: conference
user_id: '15504'
volume: 250
year: '2007'
...
---
_id: '56558'
citation:
ama: Calvanese D, Franconi E, Haarslev V, et al., eds. Proceedings of the 2007
International Workshop on Description Logics (DL2007), Brixen-Bressanone, near
Bozen-Bolzano, Italy, 8-10 June, 2007. Vol 250. CEUR-WS.org; 2007.
apa: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y.,
& Tessaris, S. (Eds.). (2007). Proceedings of the 2007 International Workshop
on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy,
8-10 June, 2007 (Vol. 250). CEUR-WS.org.
bibtex: '@book{Calvanese_Franconi_Haarslev_Lembo_Motik_Turhan_Tessaris_2007, series={CEUR
Workshop Proceedings}, title={Proceedings of the 2007 International Workshop on
Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10
June, 2007}, volume={250}, publisher={CEUR-WS.org}, year={2007}, collection={CEUR
Workshop Proceedings} }'
chicago: Calvanese, Diego, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris
Motik, Anni-Yasmin Turhan, and Sergio Tessaris, eds. Proceedings of the 2007
International Workshop on Description Logics (DL2007), Brixen-Bressanone, near
Bozen-Bolzano, Italy, 8-10 June, 2007. Vol. 250. CEUR Workshop Proceedings.
CEUR-WS.org, 2007.
ieee: D. Calvanese et al., Eds., Proceedings of the 2007 International
Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano,
Italy, 8-10 June, 2007, vol. 250. CEUR-WS.org, 2007.
mla: Calvanese, Diego, et al., editors. Proceedings of the 2007 International
Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano,
Italy, 8-10 June, 2007. CEUR-WS.org, 2007.
short: D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan,
S. Tessaris, eds., Proceedings of the 2007 International Workshop on Description
Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007,
CEUR-WS.org, 2007.
date_created: 2024-10-10T13:30:00Z
date_updated: 2024-10-10T13:30:15Z
editor:
- first_name: Diego
full_name: Calvanese, Diego
last_name: Calvanese
- first_name: Enrico
full_name: Franconi, Enrico
last_name: Franconi
- first_name: Volker
full_name: Haarslev, Volker
last_name: Haarslev
- first_name: Domenico
full_name: Lembo, Domenico
last_name: Lembo
- first_name: Boris
full_name: Motik, Boris
last_name: Motik
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
- first_name: Sergio
full_name: Tessaris, Sergio
last_name: Tessaris
intvolume: ' 250'
language:
- iso: eng
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Proceedings of the 2007 International Workshop on Description Logics (DL2007),
Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
type: conference_editor
user_id: '15504'
volume: 250
year: '2007'
...
---
_id: '56556'
author:
- first_name: Franz
full_name: Baader, Franz
last_name: Baader
- first_name: Baris
full_name: Sertkaya, Baris
last_name: Sertkaya
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: Baader F, Sertkaya B, Turhan A-Y. Computing the least common subsumer w.r.t.
a background terminology. J Appl Log. 2007;5(3):392–420. doi:10.1016/J.JAL.2006.03.002
apa: Baader, F., Sertkaya, B., & Turhan, A.-Y. (2007). Computing the least common
subsumer w.r.t. a background terminology. J. Appl. Log., 5(3), 392–420.
https://doi.org/10.1016/J.JAL.2006.03.002
bibtex: '@article{Baader_Sertkaya_Turhan_2007, title={Computing the least common
subsumer w.r.t. a background terminology}, volume={5}, DOI={10.1016/J.JAL.2006.03.002},
number={3}, journal={J. Appl. Log.}, author={Baader, Franz and Sertkaya, Baris
and Turhan, Anni-Yasmin}, year={2007}, pages={392–420} }'
chicago: 'Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the
Least Common Subsumer w.r.t. a Background Terminology.” J. Appl. Log. 5,
no. 3 (2007): 392–420. https://doi.org/10.1016/J.JAL.2006.03.002.'
ieee: 'F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the least common subsumer
w.r.t. a background terminology,” J. Appl. Log., vol. 5, no. 3, pp. 392–420,
2007, doi: 10.1016/J.JAL.2006.03.002.'
mla: Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background
Terminology.” J. Appl. Log., vol. 5, no. 3, 2007, pp. 392–420, doi:10.1016/J.JAL.2006.03.002.
short: F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.
date_created: 2024-10-10T13:27:56Z
date_updated: 2024-10-10T13:28:13Z
doi: 10.1016/J.JAL.2006.03.002
intvolume: ' 5'
issue: '3'
language:
- iso: eng
page: 392–420
publication: J. Appl. Log.
status: public
title: Computing the least common subsumer w.r.t. a background terminology
type: journal_article
user_id: '15504'
volume: 5
year: '2007'
...
---
_id: '56559'
author:
- first_name: Sean
full_name: Bechhofer, Sean
last_name: Bechhofer
- first_name: Thorsten
full_name: Liebig, Thorsten
last_name: Liebig
- first_name: Marko
full_name: Luther, Marko
last_name: Luther
- first_name: Olaf
full_name: Noppens, Olaf
last_name: Noppens
- first_name: Peter F.
full_name: Patel-Schneider, Peter F.
last_name: Patel-Schneider
- first_name: Boontawee
full_name: Suntisrivaraporn, Boontawee
last_name: Suntisrivaraporn
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
- first_name: Timo
full_name: Weithöner, Timo
last_name: Weithöner
citation:
ama: 'Bechhofer S, Liebig T, Luther M, et al. DIG 2.0 – Towards a Flexible Interface
for Description Logic Reasoners. In: Grau BC, Hitzler P, Shankey C, Wallace E,
eds. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006. Vol 216. CEUR Workshop Proceedings.
CEUR-WS.org; 2006.'
apa: 'Bechhofer, S., Liebig, T., Luther, M., Noppens, O., Patel-Schneider, P. F.,
Suntisrivaraporn, B., Turhan, A.-Y., & Weithöner, T. (2006). DIG 2.0 – Towards
a Flexible Interface for Description Logic Reasoners. In B. C. Grau, P. Hitzler,
C. Shankey, & E. Wallace (Eds.), Proceedings of the OWLED*06 Workshop on
OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006
(Vol. 216). CEUR-WS.org.'
bibtex: '@inproceedings{Bechhofer_Liebig_Luther_Noppens_Patel-Schneider_Suntisrivaraporn_Turhan_Weithöner_2006,
series={CEUR Workshop Proceedings}, title={DIG 2.0 – Towards a Flexible Interface
for Description Logic Reasoners}, volume={216}, booktitle={Proceedings of the
OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November
10-11, 2006}, publisher={CEUR-WS.org}, author={Bechhofer, Sean and Liebig, Thorsten
and Luther, Marko and Noppens, Olaf and Patel-Schneider, Peter F. and Suntisrivaraporn,
Boontawee and Turhan, Anni-Yasmin and Weithöner, Timo}, editor={Grau, Bernardo
Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan}, year={2006},
collection={CEUR Workshop Proceedings} }'
chicago: 'Bechhofer, Sean, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F.
Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, and Timo Weithöner.
“DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners.” In Proceedings
of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia,
USA, November 10-11, 2006, edited by Bernardo Cuenca Grau, Pascal Hitzler,
Conor Shankey, and Evan Wallace, Vol. 216. CEUR Workshop Proceedings. CEUR-WS.org,
2006.'
ieee: 'S. Bechhofer et al., “DIG 2.0 – Towards a Flexible Interface for Description
Logic Reasoners,” in Proceedings of the OWLED*06 Workshop on OWL: Experiences
and Directions, Athens, Georgia, USA, November 10-11, 2006, 2006, vol. 216.'
mla: 'Bechhofer, Sean, et al. “DIG 2.0 – Towards a Flexible Interface for Description
Logic Reasoners.” Proceedings of the OWLED*06 Workshop on OWL: Experiences
and Directions, Athens, Georgia, USA, November 10-11, 2006, edited by Bernardo
Cuenca Grau et al., vol. 216, CEUR-WS.org, 2006.'
short: 'S. Bechhofer, T. Liebig, M. Luther, O. Noppens, P.F. Patel-Schneider, B.
Suntisrivaraporn, A.-Y. Turhan, T. Weithöner, in: B.C. Grau, P. Hitzler, C. Shankey,
E. Wallace (Eds.), Proceedings of the OWLED*06 Workshop on OWL: Experiences and
Directions, Athens, Georgia, USA, November 10-11, 2006, CEUR-WS.org, 2006.'
date_created: 2024-10-10T13:30:44Z
date_updated: 2024-10-10T13:48:16Z
editor:
- first_name: Bernardo Cuenca
full_name: Grau, Bernardo Cuenca
last_name: Grau
- first_name: Pascal
full_name: Hitzler, Pascal
last_name: Hitzler
- first_name: Conor
full_name: Shankey, Conor
last_name: Shankey
- first_name: Evan
full_name: Wallace, Evan
last_name: Wallace
intvolume: ' 216'
language:
- iso: eng
publication: 'Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006'
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
type: conference
user_id: '15504'
volume: 216
year: '2006'
...
---
_id: '56564'
author:
- first_name: Franz
full_name: Baader, Franz
last_name: Baader
- first_name: Baris
full_name: Sertkaya, Baris
last_name: Sertkaya
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: 'Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t.
a Background Terminology. In: Alferes JJ, Leite JA, eds. Logics in Artificial
Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September
27-30, 2004, Proceedings. Vol 3229. Lecture Notes in Computer Science. Springer;
2004:400–412. doi:10.1007/978-3-540-30227-8_34'
apa: Baader, F., Sertkaya, B., & Turhan, A.-Y. (2004). Computing the Least Common
Subsumer w.r.t. a Background Terminology. In J. J. Alferes & J. A. Leite (Eds.),
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon,
Portugal, September 27-30, 2004, Proceedings (Vol. 3229, pp. 400–412). Springer.
https://doi.org/10.1007/978-3-540-30227-8_34
bibtex: '@inproceedings{Baader_Sertkaya_Turhan_2004, series={Lecture Notes in Computer
Science}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology},
volume={3229}, DOI={10.1007/978-3-540-30227-8_34},
booktitle={Logics in Artificial Intelligence, 9th European Conference, JELIA 2004,
Lisbon, Portugal, September 27-30, 2004, Proceedings}, publisher={Springer}, author={Baader,
Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Alferes, José Júlio
and Leite, João Alexandre}, year={2004}, pages={400–412}, collection={Lecture
Notes in Computer Science} }'
chicago: Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least
Common Subsumer w.r.t. a Background Terminology.” In Logics in Artificial Intelligence,
9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004,
Proceedings, edited by José Júlio Alferes and João Alexandre Leite, 3229:400–412.
Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-30227-8_34.
ieee: 'F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer
w.r.t. a Background Terminology,” in Logics in Artificial Intelligence, 9th
European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings,
2004, vol. 3229, pp. 400–412, doi: 10.1007/978-3-540-30227-8_34.'
mla: Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background
Terminology.” Logics in Artificial Intelligence, 9th European Conference, JELIA
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, edited by José
Júlio Alferes and João Alexandre Leite, vol. 3229, Springer, 2004, pp. 400–412,
doi:10.1007/978-3-540-30227-8_34.
short: 'F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.),
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon,
Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.'
date_created: 2024-10-10T13:37:12Z
date_updated: 2024-10-10T13:37:26Z
doi: 10.1007/978-3-540-30227-8_34
editor:
- first_name: José Júlio
full_name: Alferes, José Júlio
last_name: Alferes
- first_name: João Alexandre
full_name: Leite, João Alexandre
last_name: Leite
intvolume: ' 3229'
language:
- iso: eng
page: 400–412
publication: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004,
Lisbon, Portugal, September 27-30, 2004, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Computing the Least Common Subsumer w.r.t. a Background Terminology
type: conference
user_id: '15504'
volume: 3229
year: '2004'
...
---
_id: '56561'
author:
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
- first_name: Christian
full_name: Kissig, Christian
last_name: Kissig
citation:
ama: 'Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin
DA, Rusinowitch M, eds. Automated Reasoning - Second International Joint Conference,
IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Vol 3097. Lecture
Notes in Computer Science. Springer; 2004:321–325. doi:10.1007/978-3-540-25984-8_22'
apa: Turhan, A.-Y., & Kissig, C. (2004). Sonic - Non-standard Inferences Go
OilEd. In D. A. Basin & M. Rusinowitch (Eds.), Automated Reasoning - Second
International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
(Vol. 3097, pp. 321–325). Springer. https://doi.org/10.1007/978-3-540-25984-8_22
bibtex: '@inproceedings{Turhan_Kissig_2004, series={Lecture Notes in Computer Science},
title={Sonic - Non-standard Inferences Go OilEd}, volume={3097}, DOI={10.1007/978-3-540-25984-8_22},
booktitle={Automated Reasoning - Second International Joint Conference, IJCAR
2004, Cork, Ireland, July 4-8, 2004, Proceedings}, publisher={Springer}, author={Turhan,
Anni-Yasmin and Kissig, Christian}, editor={Basin, David A. and Rusinowitch, Michaël},
year={2004}, pages={321–325}, collection={Lecture Notes in Computer Science} }'
chicago: Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences
Go OilEd.” In Automated Reasoning - Second International Joint Conference,
IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A.
Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science.
Springer, 2004. https://doi.org/10.1007/978-3-540-25984-8_22.
ieee: 'A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in
Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork,
Ireland, July 4-8, 2004, Proceedings, 2004, vol. 3097, pp. 321–325, doi: 10.1007/978-3-540-25984-8_22.'
mla: Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences
Go OilEd.” Automated Reasoning - Second International Joint Conference, IJCAR
2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin
and Michaël Rusinowitch, vol. 3097, Springer, 2004, pp. 321–325, doi:10.1007/978-3-540-25984-8_22.
short: 'A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated
Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland,
July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.'
date_created: 2024-10-10T13:35:00Z
date_updated: 2024-10-10T13:35:14Z
doi: 10.1007/978-3-540-25984-8_22
editor:
- first_name: David A.
full_name: Basin, David A.
last_name: Basin
- first_name: Michaël
full_name: Rusinowitch, Michaël
last_name: Rusinowitch
intvolume: ' 3097'
language:
- iso: eng
page: 321–325
publication: Automated Reasoning - Second International Joint Conference, IJCAR 2004,
Cork, Ireland, July 4-8, 2004, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Sonic - Non-standard Inferences Go OilEd
type: conference
user_id: '15504'
volume: 3097
year: '2004'
...
---
_id: '56562'
author:
- first_name: Franz
full_name: Baader, Franz
last_name: Baader
- first_name: Baris
full_name: Sertkaya, Baris
last_name: Sertkaya
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: 'Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t.
a Background Terminology. In: Haarslev V, Möller R, eds. Proceedings of the
2004 International Workshop on Description Logics (DL2004), Whistler, British
Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org;
2004.'
apa: Baader, F., Sertkaya, B., & Turhan, A.-Y. (2004). Computing the Least Common
Subsumer w.r.t. a Background Terminology. In V. Haarslev & R. Möller (Eds.),
Proceedings of the 2004 International Workshop on Description Logics (DL2004),
Whistler, British Columbia, Canada, June 6-8, 2004 (Vol. 104). CEUR-WS.org.
bibtex: '@inproceedings{Baader_Sertkaya_Turhan_2004, series={CEUR Workshop Proceedings},
title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={104},
booktitle={Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org},
author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Haarslev,
Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings}
}'
chicago: Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least
Common Subsumer w.r.t. a Background Terminology.” In Proceedings of the 2004
International Workshop on Description Logics (DL2004), Whistler, British Columbia,
Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, Vol. 104.
CEUR Workshop Proceedings. CEUR-WS.org, 2004.
ieee: F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer
w.r.t. a Background Terminology,” in Proceedings of the 2004 International
Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June
6-8, 2004, 2004, vol. 104.
mla: Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background
Terminology.” Proceedings of the 2004 International Workshop on Description
Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited
by Volker Haarslev and Ralf Möller, vol. 104, CEUR-WS.org, 2004.
short: 'F. Baader, B. Sertkaya, A.-Y. Turhan, in: V. Haarslev, R. Möller (Eds.),
Proceedings of the 2004 International Workshop on Description Logics (DL2004),
Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.'
date_created: 2024-10-10T13:35:47Z
date_updated: 2024-10-10T13:36:04Z
editor:
- first_name: Volker
full_name: Haarslev, Volker
last_name: Haarslev
- first_name: Ralf
full_name: Möller, Ralf
last_name: Möller
intvolume: ' 104'
language:
- iso: eng
publication: Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Computing the Least Common Subsumer w.r.t. a Background Terminology
type: conference
user_id: '15504'
volume: 104
year: '2004'
...
---
_id: '56563'
author:
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
- first_name: Christian
full_name: Kissig, Christian
last_name: Kissig
citation:
ama: 'Turhan A-Y, Kissig C. Sonic: System Description. In: Haarslev V, Möller R,
eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004),
Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop
Proceedings. CEUR-WS.org; 2004.'
apa: 'Turhan, A.-Y., & Kissig, C. (2004). Sonic: System Description. In V. Haarslev
& R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description
Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 (Vol.
104). CEUR-WS.org.'
bibtex: '@inproceedings{Turhan_Kissig_2004, series={CEUR Workshop Proceedings},
title={Sonic: System Description}, volume={104}, booktitle={Proceedings of the
2004 International Workshop on Description Logics (DL2004), Whistler, British
Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin
and Kissig, Christian}, editor={Haarslev, Volker and Möller, Ralf}, year={2004},
collection={CEUR Workshop Proceedings} }'
chicago: 'Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.”
In Proceedings of the 2004 International Workshop on Description Logics (DL2004),
Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev
and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.'
ieee: 'A.-Y. Turhan and C. Kissig, “Sonic: System Description,” in Proceedings
of the 2004 International Workshop on Description Logics (DL2004), Whistler, British
Columbia, Canada, June 6-8, 2004, 2004, vol. 104.'
mla: 'Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” Proceedings
of the 2004 International Workshop on Description Logics (DL2004), Whistler, British
Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller,
vol. 104, CEUR-WS.org, 2004.'
short: 'A.-Y. Turhan, C. Kissig, in: V. Haarslev, R. Möller (Eds.), Proceedings
of the 2004 International Workshop on Description Logics (DL2004), Whistler, British
Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.'
date_created: 2024-10-10T13:36:31Z
date_updated: 2024-10-10T13:36:47Z
editor:
- first_name: Volker
full_name: Haarslev, Volker
last_name: Haarslev
- first_name: Ralf
full_name: Möller, Ralf
last_name: Möller
intvolume: ' 104'
language:
- iso: eng
publication: Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: 'Sonic: System Description'
type: conference
user_id: '15504'
volume: 104
year: '2004'
...
---
_id: '56567'
author:
- first_name: Sebastian
full_name: Brandt, Sebastian
last_name: Brandt
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
- first_name: Ralf
full_name: Küsters, Ralf
last_name: Küsters
citation:
ama: 'Brandt S, Turhan A-Y, Küsters R. Extensions of Non-standard Inferences to
Descriptions Logics with Transitive Roles. In: Vardi MY, Voronkov A, eds. Logic
for Programming, Artificial Intelligence, and Reasoning, 10th International Conference,
LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Vol 2850.
Lecture Notes in Computer Science. Springer; 2003:122–136. doi:10.1007/978-3-540-39813-4_8'
apa: Brandt, S., Turhan, A.-Y., & Küsters, R. (2003). Extensions of Non-standard
Inferences to Descriptions Logics with Transitive Roles. In M. Y. Vardi &
A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning,
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26,
2003, Proceedings (Vol. 2850, pp. 122–136). Springer. https://doi.org/10.1007/978-3-540-39813-4_8
bibtex: '@inproceedings{Brandt_Turhan_Küsters_2003, series={Lecture Notes in Computer
Science}, title={Extensions of Non-standard Inferences to Descriptions Logics
with Transitive Roles}, volume={2850}, DOI={10.1007/978-3-540-39813-4_8},
booktitle={Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003,
Proceedings}, publisher={Springer}, author={Brandt, Sebastian and Turhan, Anni-Yasmin
and Küsters, Ralf}, editor={Vardi, Moshe Y. and Voronkov, Andrei}, year={2003},
pages={122–136}, collection={Lecture Notes in Computer Science} }'
chicago: Brandt, Sebastian, Anni-Yasmin Turhan, and Ralf Küsters. “Extensions of
Non-Standard Inferences to Descriptions Logics with Transitive Roles.” In Logic
for Programming, Artificial Intelligence, and Reasoning, 10th International Conference,
LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, edited
by Moshe Y. Vardi and Andrei Voronkov, 2850:122–136. Lecture Notes in Computer
Science. Springer, 2003. https://doi.org/10.1007/978-3-540-39813-4_8.
ieee: 'S. Brandt, A.-Y. Turhan, and R. Küsters, “Extensions of Non-standard Inferences
to Descriptions Logics with Transitive Roles,” in Logic for Programming, Artificial
Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty,
Kazakhstan, September 22-26, 2003, Proceedings, 2003, vol. 2850, pp. 122–136,
doi: 10.1007/978-3-540-39813-4_8.'
mla: Brandt, Sebastian, et al. “Extensions of Non-Standard Inferences to Descriptions
Logics with Transitive Roles.” Logic for Programming, Artificial Intelligence,
and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings, edited by Moshe Y. Vardi and Andrei Voronkov, vol.
2850, Springer, 2003, pp. 122–136, doi:10.1007/978-3-540-39813-4_8.
short: 'S. Brandt, A.-Y. Turhan, R. Küsters, in: M.Y. Vardi, A. Voronkov (Eds.),
Logic for Programming, Artificial Intelligence, and Reasoning, 10th International
Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings,
Springer, 2003, pp. 122–136.'
date_created: 2024-10-10T13:40:02Z
date_updated: 2024-10-10T13:40:14Z
doi: 10.1007/978-3-540-39813-4_8
editor:
- first_name: Moshe Y.
full_name: Vardi, Moshe Y.
last_name: Vardi
- first_name: Andrei
full_name: Voronkov, Andrei
last_name: Voronkov
intvolume: ' 2850'
language:
- iso: eng
page: 122–136
publication: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International
Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Extensions of Non-standard Inferences to Descriptions Logics with Transitive
Roles
type: conference
user_id: '15504'
volume: 2850
year: '2003'
...
---
_id: '56566'
author:
- first_name: Sebastian
full_name: Brandt, Sebastian
last_name: Brandt
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: 'Brandt S, Turhan A-Y. Computing Least Common Subsumers for FLE\(^\mbox+\).
In: Calvanese D, Giacomo GD, Franconi E, eds. Proceedings of the 2003 International
Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003.
Vol 81. CEUR Workshop Proceedings. CEUR-WS.org; 2003.'
apa: Brandt, S., & Turhan, A.-Y. (2003). Computing Least Common Subsumers for
FLE\(^\mbox+\). In D. Calvanese, G. D. Giacomo, & E. Franconi (Eds.), Proceedings
of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy
September 5-7, 2003 (Vol. 81). CEUR-WS.org.
bibtex: '@inproceedings{Brandt_Turhan_2003, series={CEUR Workshop Proceedings},
title={Computing Least Common Subsumers for FLE\(^\mbox+\)}, volume={81}, booktitle={Proceedings
of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy
September 5-7, 2003}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Turhan,
Anni-Yasmin}, editor={Calvanese, Diego and Giacomo, Giuseppe De and Franconi,
Enrico}, year={2003}, collection={CEUR Workshop Proceedings} }'
chicago: Brandt, Sebastian, and Anni-Yasmin Turhan. “Computing Least Common Subsumers
for FLE\(^\mbox+\).” In Proceedings of the 2003 International Workshop on Description
Logics (DL2003), Rome, Italy September 5-7, 2003, edited by Diego Calvanese,
Giuseppe De Giacomo, and Enrico Franconi, Vol. 81. CEUR Workshop Proceedings.
CEUR-WS.org, 2003.
ieee: S. Brandt and A.-Y. Turhan, “Computing Least Common Subsumers for FLE\(^\mbox+\),”
in Proceedings of the 2003 International Workshop on Description Logics (DL2003),
Rome, Italy September 5-7, 2003, 2003, vol. 81.
mla: Brandt, Sebastian, and Anni-Yasmin Turhan. “Computing Least Common Subsumers
for FLE\(^\mbox+\).” Proceedings of the 2003 International Workshop on Description
Logics (DL2003), Rome, Italy September 5-7, 2003, edited by Diego Calvanese
et al., vol. 81, CEUR-WS.org, 2003.
short: 'S. Brandt, A.-Y. Turhan, in: D. Calvanese, G.D. Giacomo, E. Franconi (Eds.),
Proceedings of the 2003 International Workshop on Description Logics (DL2003),
Rome, Italy September 5-7, 2003, CEUR-WS.org, 2003.'
date_created: 2024-10-10T13:39:17Z
date_updated: 2024-10-10T13:39:35Z
editor:
- first_name: Diego
full_name: Calvanese, Diego
last_name: Calvanese
- first_name: Giuseppe De
full_name: Giacomo, Giuseppe De
last_name: Giacomo
- first_name: Enrico
full_name: Franconi, Enrico
last_name: Franconi
intvolume: ' 81'
language:
- iso: eng
publication: Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Computing Least Common Subsumers for FLE\(^\mbox+\)
type: conference
user_id: '15504'
volume: 81
year: '2003'
...
---
_id: '56569'
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. On the Problem of Computing Small Representations of
Least Common Subsumers. In: Jarke M, Koehler J, Lakemeyer G, eds. KI 2002:
Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002,
Aachen, Germany, September 16-20, 2002, Proceedings. Vol 2479. Lecture Notes
in Computer Science. Springer; 2002:99–113. doi:10.1007/3-540-45751-8_7'
apa: 'Baader, F., & Turhan, A.-Y. (2002). On the Problem of Computing Small
Representations of Least Common Subsumers. In M. Jarke, J. Koehler, & G. Lakemeyer
(Eds.), KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference
on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings (Vol.
2479, pp. 99–113). Springer. https://doi.org/10.1007/3-540-45751-8_7'
bibtex: '@inproceedings{Baader_Turhan_2002, series={Lecture Notes in Computer Science},
title={On the Problem of Computing Small Representations of Least Common Subsumers},
volume={2479}, DOI={10.1007/3-540-45751-8_7},
booktitle={KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference
on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings}, publisher={Springer},
author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Jarke, Matthias and Koehler,
Jana and Lakemeyer, Gerhard}, year={2002}, pages={99–113}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Baader, Franz, and Anni-Yasmin Turhan. “On the Problem of Computing Small
Representations of Least Common Subsumers.” In KI 2002: Advances in Artificial
Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September
16-20, 2002, Proceedings, edited by Matthias Jarke, Jana Koehler, and Gerhard
Lakemeyer, 2479:99–113. Lecture Notes in Computer Science. Springer, 2002. https://doi.org/10.1007/3-540-45751-8_7.'
ieee: 'F. Baader and A.-Y. Turhan, “On the Problem of Computing Small Representations
of Least Common Subsumers,” in KI 2002: Advances in Artificial Intelligence,
25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20,
2002, Proceedings, 2002, vol. 2479, pp. 99–113, doi: 10.1007/3-540-45751-8_7.'
mla: 'Baader, Franz, and Anni-Yasmin Turhan. “On the Problem of Computing Small
Representations of Least Common Subsumers.” KI 2002: Advances in Artificial
Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September
16-20, 2002, Proceedings, edited by Matthias Jarke et al., vol. 2479, Springer,
2002, pp. 99–113, doi:10.1007/3-540-45751-8_7.'
short: 'F. Baader, A.-Y. Turhan, in: M. Jarke, J. Koehler, G. Lakemeyer (Eds.),
KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on
AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, Springer, 2002,
pp. 99–113.'
date_created: 2024-10-10T13:41:16Z
date_updated: 2024-10-10T13:41:34Z
doi: 10.1007/3-540-45751-8_7
editor:
- first_name: Matthias
full_name: Jarke, Matthias
last_name: Jarke
- first_name: Jana
full_name: Koehler, Jana
last_name: Koehler
- first_name: Gerhard
full_name: Lakemeyer, Gerhard
last_name: Lakemeyer
intvolume: ' 2479'
language:
- iso: eng
page: 99–113
publication: 'KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference
on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings'
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: On the Problem of Computing Small Representations of Least Common Subsumers
type: conference
user_id: '15504'
volume: 2479
year: '2002'
...
---
_id: '56568'
author:
- first_name: Sebastian
full_name: Brandt, Sebastian
last_name: Brandt
- first_name: Ralf
full_name: Küsters, Ralf
last_name: Küsters
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: 'Brandt S, Küsters R, Turhan A-Y. Approximating ALCN-Concept Descriptions.
In: Horrocks I, Tessaris S, eds. Proceedings of the 2002 International Workshop
on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Vol 53.
CEUR Workshop Proceedings. CEUR-WS.org; 2002.'
apa: Brandt, S., Küsters, R., & Turhan, A.-Y. (2002). Approximating ALCN-Concept
Descriptions. In I. Horrocks & S. Tessaris (Eds.), Proceedings of the 2002
International Workshop on Description Logics (DL2002), Toulouse, France, April
19-21, 2002 (Vol. 53). CEUR-WS.org.
bibtex: '@inproceedings{Brandt_Küsters_Turhan_2002, series={CEUR Workshop Proceedings},
title={Approximating ALCN-Concept Descriptions}, volume={53}, booktitle={Proceedings
of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France,
April 19-21, 2002}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Küsters,
Ralf and Turhan, Anni-Yasmin}, editor={Horrocks, Ian and Tessaris, Sergio}, year={2002},
collection={CEUR Workshop Proceedings} }'
chicago: Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximating
ALCN-Concept Descriptions.” In Proceedings of the 2002 International Workshop
on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, edited
by Ian Horrocks and Sergio Tessaris, Vol. 53. CEUR Workshop Proceedings. CEUR-WS.org,
2002.
ieee: S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximating ALCN-Concept Descriptions,”
in Proceedings of the 2002 International Workshop on Description Logics (DL2002),
Toulouse, France, April 19-21, 2002, 2002, vol. 53.
mla: Brandt, Sebastian, et al. “Approximating ALCN-Concept Descriptions.” Proceedings
of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France,
April 19-21, 2002, edited by Ian Horrocks and Sergio Tessaris, vol. 53, CEUR-WS.org,
2002.
short: 'S. Brandt, R. Küsters, A.-Y. Turhan, in: I. Horrocks, S. Tessaris (Eds.),
Proceedings of the 2002 International Workshop on Description Logics (DL2002),
Toulouse, France, April 19-21, 2002, CEUR-WS.org, 2002.'
date_created: 2024-10-10T13:40:36Z
date_updated: 2024-10-10T13:40:55Z
editor:
- first_name: Ian
full_name: Horrocks, Ian
last_name: Horrocks
- first_name: Sergio
full_name: Tessaris, Sergio
last_name: Tessaris
intvolume: ' 53'
language:
- iso: eng
publication: Proceedings of the 2002 International Workshop on Description Logics
(DL2002), Toulouse, France, April 19-21, 2002
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Approximating ALCN-Concept Descriptions
type: conference
user_id: '15504'
volume: 53
year: '2002'
...
---
_id: '56570'
author:
- first_name: Sebastian
full_name: Brandt, Sebastian
last_name: Brandt
- first_name: Ralf
full_name: Küsters, Ralf
last_name: Küsters
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: 'Brandt S, Küsters R, Turhan A-Y. Approximation and Difference in Description
Logics. In: Fensel D, Giunchiglia F, McGuinness DL, Williams M-A, eds. Proceedings
of the Eights International Conference on Principles and Knowledge Representation
and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann;
2002:203–214.'
apa: Brandt, S., Küsters, R., & Turhan, A.-Y. (2002). Approximation and Difference
in Description Logics. In D. Fensel, F. Giunchiglia, D. L. McGuinness, & M.-A.
Williams (Eds.), Proceedings of the Eights International Conference on Principles
and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25,
2002 (pp. 203–214). Morgan Kaufmann.
bibtex: '@inproceedings{Brandt_Küsters_Turhan_2002, title={Approximation and Difference
in Description Logics}, booktitle={Proceedings of the Eights International Conference
on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002}, publisher={Morgan Kaufmann}, author={Brandt, Sebastian and
Küsters, Ralf and Turhan, Anni-Yasmin}, editor={Fensel, Dieter and Giunchiglia,
Fausto and McGuinness, Deborah L. and Williams, Mary-Anne}, year={2002}, pages={203–214}
}'
chicago: Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximation
and Difference in Description Logics.” In Proceedings of the Eights International
Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse,
France, April 22-25, 2002, edited by Dieter Fensel, Fausto Giunchiglia, Deborah
L. McGuinness, and Mary-Anne Williams, 203–214. Morgan Kaufmann, 2002.
ieee: S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximation and Difference in
Description Logics,” in Proceedings of the Eights International Conference
on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002, 2002, pp. 203–214.
mla: Brandt, Sebastian, et al. “Approximation and Difference in Description Logics.”
Proceedings of the Eights International Conference on Principles and Knowledge
Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002,
edited by Dieter Fensel et al., Morgan Kaufmann, 2002, pp. 203–214.
short: 'S. Brandt, R. Küsters, A.-Y. Turhan, in: D. Fensel, F. Giunchiglia, D.L.
McGuinness, M.-A. Williams (Eds.), Proceedings of the Eights International Conference
on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002, Morgan Kaufmann, 2002, pp. 203–214.'
date_created: 2024-10-10T13:41:59Z
date_updated: 2024-10-10T13:42:12Z
editor:
- first_name: Dieter
full_name: Fensel, Dieter
last_name: Fensel
- first_name: Fausto
full_name: Giunchiglia, Fausto
last_name: Giunchiglia
- first_name: Deborah L.
full_name: McGuinness, Deborah L.
last_name: McGuinness
- first_name: Mary-Anne
full_name: Williams, Mary-Anne
last_name: Williams
language:
- iso: eng
page: 203–214
publication: Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002
publisher: Morgan Kaufmann
status: public
title: Approximation and Difference in Description Logics
type: conference
user_id: '15504'
year: '2002'
...
---
_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.
Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena,
Italy, June 18-23, 2001, Proceedings. Vol 2083. Lecture Notes in Computer
Science. Springer; 2001:61–75. doi:10.1007/3-540-45744-5_6'
apa: Haarslev, V., Möller, R., & Turhan, A.-Y. (2001). Exploiting Pseudo Models
for TBox and ABox Reasoning in Expressive Description Logics. In R. Goré, A. Leitsch,
& T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference,
IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings (Vol. 2083, pp. 61–75).
Springer. https://doi.org/10.1007/3-540-45744-5_6
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={10.1007/3-540-45744-5_6},
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 Automated
Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June
18-23, 2001, Proceedings, edited by Rajeev Goré, Alexander Leitsch, and Tobias
Nipkow, 2083:61–75. Lecture Notes in Computer Science. Springer, 2001. https://doi.org/10.1007/3-540-45744-5_6.
ieee: 'V. Haarslev, R. Möller, and A.-Y. Turhan, “Exploiting Pseudo Models for TBox
and ABox Reasoning in Expressive Description Logics,” in Automated Reasoning,
First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001,
Proceedings, 2001, vol. 2083, pp. 61–75, doi: 10.1007/3-540-45744-5_6.'
mla: Haarslev, Volker, et al. “Exploiting Pseudo Models for TBox and ABox Reasoning
in Expressive Description Logics.” Automated Reasoning, First International
Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings,
edited by Rajeev Goré et al., vol. 2083, Springer, 2001, pp. 61–75, doi:10.1007/3-540-45744-5_6.
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.
Working Notes of the 2001 International Description Logics Workshop (DL-2001),
Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org;
2001.'
apa: Baader, F., & 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, &
P. F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description
Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001 (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 Working Notes of the 2001 International Description
Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 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 Working Notes of the 2001 International Description
Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol.
49.
mla: Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation
of Least Common Subsumers.” Working Notes of the 2001 International Description
Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 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. Working
Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford,
CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org;
2001.'
apa: Turhan, A.-Y., & Molitor, R. (2001). Using Lazy Unfolding for the Computation
of Least Common Subsumers. 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 (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 Working Notes of the 2001 International Description
Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 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 Working Notes of the 2001 International Description
Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol.
49.
mla: Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation
of Least Common Subsumers.” Working Notes of the 2001 International Description
Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 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. Proceedings of the 2000
International Workshop on Description Logics (DL2000), Aachen, Germany, August
17-19, 2000. Vol 33. CEUR Workshop Proceedings. CEUR-WS.org; 2000:247–256.'
apa: Turhan, A.-Y., & Haarslev, V. (2000). Adapting Optimization Techniques
to Description Logics with Concrete Domains. In F. Baader & U. Sattler (Eds.),
Proceedings of the 2000 International Workshop on Description Logics (DL2000),
Aachen, Germany, August 17-19, 2000 (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 Proceedings of the 2000 International
Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000,
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 Proceedings of the 2000 International Workshop
on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, 2000,
vol. 33, pp. 247–256.
mla: Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques
to Description Logics with Concrete Domains.” Proceedings of the 2000 International
Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000,
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. Proceedings of the 1999 International
Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1,
1999. Vol 22. CEUR Workshop Proceedings. CEUR-WS.org; 1999.'
apa: 'Haarslev, V., Möller, R., Turhan, A.-Y., & Wessel, M. (1999). On Terminological
Default Reasoning about Spatial Information: Extended Abstract. 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 (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 Proceedings of the 1999 International Workshop on Description Logics (DL’99),
Linköping, Sweden, July 30 - August 1, 1999, 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 Proceedings of
the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden,
July 30 - August 1, 1999, 1999, vol. 22.'
mla: 'Haarslev, Volker, et al. “On Terminological Default Reasoning about Spatial
Information: Extended Abstract.” Proceedings of the 1999 International Workshop
on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999,
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.
Proceedings of the 1998 International Workshop on Description Logics (DL’98),
IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings.
CEUR-WS.org; 1998.'
apa: Haarslev, V., Möller, R., & Turhan, A.-Y. (1998). Implementing an ALCRP(D)
ABox Reasoner - Progress Report. 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
(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 Proceedings of the 1998 International
Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8,
1998, 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 Proceedings of the 1998 International Workshop on Description
Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
mla: Haarslev, Volker, et al. “Implementing an ALCRP(D) ABox Reasoner - Progress
Report.” Proceedings of the 1998 International Workshop on Description Logics
(DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 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. Proceedings of the 1998 International Workshop on
Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol
11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.'
apa: Haarslev, V., Möller, R., & Turhan, A.-Y. (1998). HAM-ALC. 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 (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 Proceedings
of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo -
Trento, Italy, June 6-8, 1998, 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 Proceedings of
the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento,
Italy, June 6-8, 1998, 1998, vol. 11.
mla: Haarslev, Volker, et al. “HAM-ALC.” Proceedings of the 1998 International
Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8,
1998, 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'
...