-
1
-
-
33749547173
-
-
U. Furbach and N. Shankar, editors, Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06 of Lecture Notes in Artificial Intelligence. Springer-Verlag
-
F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL-A polynomial-time reasoner for life science ontologies. In U. Furbach and N. Shankar, editors, Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence, pages 287-291. Springer-Verlag, 2006.
-
(2006)
CEL-A Polynomial-time Reasoner for Life Science Ontologies
, vol.4130
, pp. 287-291
-
-
Baader, F.1
Lutz, C.2
Suntisrivaraporn, B.3
-
2
-
-
0242276197
-
-
Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, The Semantic Web - ISWC. The Second International Semantic Web Conference, Sanibel Island, Florida, USA, volume 2870/2003 of Lecture Notes in Computer Science, Sanibel Island, Florida, USA, October 2003 Springer
-
Sean Bechhofer, Raphael Volz, and Philip Lord. Cooking the semantic web with the OWL API. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, The Semantic Web - ISWC 2003. The Second International Semantic Web Conference, Sanibel Island, Florida, USA, volume 2870/2003 of Lecture Notes in Computer Science, pages 659-675, Sanibel Island, Florida, USA, October 2003. Springer.
-
(2003)
Cooking the Semantic Web with the OWL API
, pp. 659-675
-
-
Bechhofer, S.1
Volz, R.2
Lord, P.3
-
3
-
-
84941152376
-
-
Stuart Feldman, Mike Uretsky, Mark Najork, and Craig Wills, editors, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, New York, NY, USA May, ACM
-
Jeremy J. Carroll, Ian Dickinson, Chris Dollin, Dave Reynolds, Andy Seaborne, and Kevin Wilkinson. Jena: implementing the semantic web recommendations. In Stuart Feldman, Mike Uretsky, Mark Najork, and Craig Wills, editors, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, pages 74-83, New York, NY, USA, May 2004. ACM.
-
(2004)
Jena: Implementing the Semantic Web Recommendations
, pp. 74-83
-
-
Carroll, J.J.1
Dickinson, I.2
Dollin, C.3
Reynolds, D.4
Seaborne, A.5
Wilkinson, K.6
-
4
-
-
0003880013
-
-
Addison-Wesley Professional, Computing Series. Addison-Wesley, 21st edition, October
-
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, 21st edition, October 1994.
-
(1994)
Design Patterns: Elements of Reusable Object-Oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
6
-
-
84891441432
-
-
Jeff Korn, editor, WWW Developers Track, April 2008
-
Peter Haase, Holger Lewen, Rudi Studer, Duc Thanh Tran, Michael Erdmann, Mathieu d'Aquin, and Enrico Motta. The neon ontology engineering toolkit. In Jeff Korn, editor, WWW 2008 Developers Track, April 2008.
-
(2008)
Mathieu D'Aquin, and Enrico Motta. The Neon Ontology Engineering Toolkit
-
-
Haase, P.1
Lewen, H.2
Studer, R.3
Thanh Tran, D.4
Erdmann, M.5
-
7
-
-
80052408859
-
-
Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and Evan Wallace, editors, OWL: Experiences and Directions (OWLED of CEUR Workshop Proceedings. CEUR-WS.org November
-
Matthew Horridge, Dmitry Tsarkov, and Timothy Redmond. Supporting early adoption of OWL 1.1 with Protege-OWL and FaCT++. In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and Evan Wallace, editors, OWL: Experiences and Directions (OWLED), volume 216 of CEUR Workshop Proceedings. CEUR-WS.org, November 2006.
-
(2006)
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++
, vol.216
-
-
Horridge, M.1
Tsarkov, D.2
Redmond, T.3
-
8
-
-
45449118483
-
-
Sean Bechhofer, Manfred Hauswirth, Joerg Hoffmann, and Manolis Koubarakis, editors, The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC, Tenerife, Canary Islands, Spain of Lecture Notes in Computer Science Springer, June 2008
-
Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, and Raphael Berlanga Llavori. Safe and economic re-use of ontologies: A logicbased methodology and tool support. In Sean Bechhofer, Manfred Hauswirth, Joerg Hoffmann, and Manolis Koubarakis, editors, The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, volume 5021 of Lecture Notes in Computer Science, pages 185-199. Springer, June 2008.
-
(2008)
Safe and Economic Re-use of Ontologies: A Logicbased Methodology and Tool Support
, vol.5021
, pp. 185-199
-
-
Jimenez-Ruiz, E.1
Cuenca Grau, B.2
Sattler, U.3
Schneider, T.4
Berlanga Llavori, R.5
-
9
-
-
84891446571
-
-
Rinke Hoeksta and Peter F. Patel-Schneider, editors, OWL: Experiences and Directions (OWLED, CEUR Workshop Proceedings. CEUR-WS.org, October 2009
-
Joachim Kleb J̈org Henss and Stephan Grimm. A database backend for OWL. In Rinke Hoeksta and Peter F. Patel-Schneider, editors, OWL: Experiences and Directions (OWLED 2009), CEUR Workshop Proceedings. CEUR-WS.org, October 2009.
-
(2009)
A Database Backend for OWL
-
-
Kleb J̈org, H.J.1
Grimm, S.2
-
11
-
-
35048876203
-
OntoTrack: Combining browsing and editing with reasoning and explaining for OWL Lite ontologies
-
Third International Semantic Web Conference 2004, Hiroshima, Japan of Lecture Notes in Computer Science Springer, November 2004
-
Thorsten Liebig and Olaf Noppens. OntoTrack: Combining browsing and editing with reasoning and explaining for OWL Lite ontologies. In Sheila McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, The Semantic Web - ISWC 2004. Third International Semantic Web Conference 2004, Hiroshima, Japan, volume 3298 of Lecture Notes in Computer Science, pages 244-258. Springer, November 2004.
-
(2004)
Sheila McIlraith, Dimitris Plexousakis, and Frank Van Harmelen, Editors, the Semantic Web - ISWC
, vol.3298
, pp. 244-258
-
-
Liebig, T.1
Noppens, O.2
-
14
-
-
35148838596
-
Optimized reasoning in description logics using hypertableaux
-
Lecture Notes in Artificial Intelligence, Springer
-
Boris Motik, Rob Shearer, and Ian Horrocks. Optimized reasoning in description logics using hypertableaux. In Proc. of the 21st Int. Conf. on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, pages 67-83. Springer, 2007.
-
(2007)
Proc. of the 21st Int. Conf. on Automated Deduction (CADE-21
, vol.4603
, pp. 67-83
-
-
Motik, B.1
Shearer, R.2
Horrocks, I.3
-
16
-
-
34249817069
-
Pellet: A practical OWL-DL reasoner
-
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner. Journal of Web Semantics, 5(2), 2007.
-
(2007)
Journal of Web Semantics
, vol.5
, pp. 2
-
-
Sirin, E.1
Parsia, B.2
Cuenca Grau, B.3
Kalyanpur, A.4
Katz, Y.5
-
17
-
-
33749556448
-
FaCT++ description logic reasoner: System description
-
Lecture Notes in Artificial Intelligence, Springer 2006
-
Dmitry Tsarkov and Ian Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297. Springer, 2006.
-
(2006)
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR
, vol.4130
, pp. 292-297
-
-
Tsarkov, D.1
Horrocks, I.2
|