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
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
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
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.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
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
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
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
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
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.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
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.
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
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
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
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.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
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
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
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.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
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.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
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
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
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.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
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.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
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.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
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.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
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.
LibreCat
- 1
- 2
- 3
- 4
- 5 (current)