Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
98 Publications
- 1
- 2
- 3
- 4
- 5 (current)
2007 | Journal Article | LibreCat-ID: 56556
@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} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
@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} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
@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} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
@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} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
@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} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
@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} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
@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} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
@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} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
@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} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
@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} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
@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} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
@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} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
@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} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
@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} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
@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} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
@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} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
@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} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
@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} }
LibreCat
- 1
- 2
- 3
- 4
- 5 (current)