-
1
-
-
33749547173
-
CEL - A polynomial-time reasoner for life science ontologies
-
U. Furbach and N. Shankar, editors, 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)
Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), Volume 4130 of Lecture Notes in Artificial Intelligence
, pp. 287-291
-
-
Baader, F.1
Lutz, C.2
Suntisrivaraporn, B.3
-
2
-
-
0141780306
-
Embedding defaults into terminological knowledge representation formalisms
-
F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning, 14(1):149-180, 1995.
-
(1995)
Journal of Automated Reasoning
, vol.14
, Issue.1
, pp. 149-180
-
-
Baader, F.1
Hollunder, B.2
-
3
-
-
35048852405
-
OWL web ontology language parsing OWL in RDF/XML
-
WorldWideWeb Consortium, January
-
S. Bechhofer. OWL Web Ontology Language Parsing OWL in RDF/XML. W3CWorking Group Note,WorldWideWeb Consortium, January 2004. http://www.w3.org/TR/owl-parsing.
-
(2004)
W3CWorking Group Note
-
-
Bechhofer, S.1
-
5
-
-
84974727353
-
OilEd: A reason-able ontology editor for the semantic web
-
LNAI. Springer-Verlag, September
-
S. Bechhofer, I. Horrocks, C. Goble, and R. Stevens. OilEd: A reason-able ontology editor for the semantic web. In Proceedings of KI2001, Joint German/Austrian conference on Artificial Intelligence, volume 2174 of LNAI, pages 396-408. Springer- Verlag, September 2001.
-
(2001)
Proceedings of KI2001, Joint German/Austrian Conference on Artificial Intelligence
, vol.2174
, pp. 396-408
-
-
Bechhofer, S.1
Horrocks, I.2
Goble, C.3
Stevens, R.4
-
9
-
-
83255163361
-
KAON-towards a large scale semantic web
-
K. Bauknecht, A. Min Tjoa, and G. Quirchmayr, editors, Lecture Notes in Computer Science, Springer, September
-
E. Bozsak, M. Ehrig, S. Handschuh, A. Hotho, A. Maedche, B. Motik, D. Oberle, C. Schmitz, S. Staab, L. Stojanovic, N. Stojanovic, R. Studer, G. Stumme, Y. Sure, J. Tane, R. Volz, and V. Zacharias. KAON-towards a large scale semantic web. In K. Bauknecht, A. Min Tjoa, and G. Quirchmayr, editors, ECWeb 2002, volume 2455 of Lecture Notes in Computer Science, pages 304-313. Springer, September 2002.
-
(2002)
ECWeb 2002
, vol.2455
, pp. 304-313
-
-
Bozsak, E.1
Ehrig, M.2
Handschuh, S.3
Hotho, A.4
Maedche, A.5
Motik, B.6
Oberle, D.7
Schmitz, C.8
Staab, S.9
Stojanovic, L.10
Stojanovic, N.11
Studer, R.12
Stumme, G.13
Sure, Y.14
Tane, J.15
Volz, R.16
Zacharias, V.17
-
11
-
-
84941152376
-
Jena: Implementing the semantic web recommendations
-
S. Feldman M. Uretsky, M. Najork, and C. Wills, editors, New York, NY, USA, May, ACM
-
J.J. Carroll, I. Dickinson, C. Dollin, D. Reynolds, A. Seaborne, and K. Wilkinson. Jena: Implementing the semantic web recommendations. In S. Feldman, M. Uretsky, M. Najork, and C. Wills, editors, Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers & Posters, New York, NY, USA, pages 74-83, May 2004. ACM.
-
(2004)
Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers & Posters
, pp. 74-83
-
-
Carroll, J.J.1
Dickinson, I.2
Dollin, C.3
Reynolds, D.4
Seaborne, A.5
Wilkinson, K.6
-
12
-
-
35348889032
-
Just the right amount: Extracting modules from ontologies
-
Banff, Canada, May 8-12
-
B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Just the right amount: Extracting modules from ontologies. In WWW 2007, Proceedings of the 16th International World Wide Web Conference, Banff, Canada, pages 717-727, May 8-12, 2007.
-
(2007)
WWW 2007, Proceedings of the 16th International World Wide Web Conference
, pp. 717-727
-
-
Cuenca Grau, B.1
Horrocks, I.2
Kazakov, Y.3
Sattler, U.4
-
13
-
-
84889046839
-
-
Springer, October
-
D. Fensel, K. Sycara, and J. Mylopoulos, editors. Proceedings of the 2nd International SemanticWeb Conference, ISWC2003, volume 2870 of Lecture Notes in Computer Science. Springer, October 2003.
-
(2003)
Proceedings of the 2nd International SemanticWeb Conference, ISWC2003, Volume 2870 of Lecture Notes in Computer Science
-
-
Fensel, D.1
Sycara, K.2
Mylopoulos, J.3
-
15
-
-
33750070814
-
Did i damage my ontology? A case for conservative extensions in description logic
-
P. Doherty, J. Mylopoulos, and C.A. Welty, editors, Lake District, United Kingdom. AAAI Press, June
-
S. Ghilardi, C. Lutz, and F. Wolter. Did I damage my ontology? A case for conservative extensions in description logic. In P. Doherty, J. Mylopoulos, and C.A. Welty, editors, The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, United Kingdom. AAAI Press, June 2006.
-
(2006)
The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)
-
-
Ghilardi, S.1
Lutz, C.2
Wolter, F.3
-
17
-
-
84865992894
-
The NeOn ontology engineering toolkit
-
J. Korn, editor, April
-
P. Haase, H. Lewen, R. Studer, D. Thanh Tran, M. Erdmann, M. d'Aquin, and E. Motta. The NeOn ontology engineering toolkit. In J. Korn, editor, WWW 2008 Developers Track, April 2008.
-
(2008)
WWW 2008 Developers Track
-
-
Haase, P.1
Lewen, H.2
Studer, R.3
Thanh Tran, D.4
Erdmann, M.5
D'Aquin, M.6
Motta, E.7
-
19
-
-
80052408859
-
Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++
-
B. Cuenca Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, CEUR-WS.org, November
-
M. Horridge, D. Tsarkov, and T. Redmond. Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++. In B. Cuenca Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, OWL: Experiences and Directions (OWLED), volume 216 of CEUR Workshop Proceedings. CEUR-WS.org, November 2006.
-
(2006)
OWL: Experiences and Directions (OWLED) , Volume 216 of CEUR Workshop Proceedings
-
-
Horridge, M.1
Tsarkov, D.2
Redmond, T.3
-
20
-
-
45449118483
-
Llavori, safe and economic re-use of ontologies: A logic-based methodology and tool support
-
S. Bechhofer, M. Hauswirth, J. Hoffmann, andM. Koubarakis, editors, Tenerife, Spain, Springer, June
-
E. Jiménez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Llavori. Safe and economic re-use of ontologies: A logic-based methodology and tool support. In S. Bechhofer, M. Hauswirth, J. Hoffmann, andM. Koubarakis, editors, Proceedings of the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, volume 5021 of Lecture Notes in Computer Science, pages 185-199. Springer, June 2008.
-
(2008)
Proceedings of the 5th European Semantic Web Conference (ESWC 2008), Volume 5021 of Lecture Notes in Computer Science
, pp. 185-199
-
-
Jiménez-Ruiz, E.1
Cuenca Grau, B.2
Sattler, U.3
Schneider, T.4
Berlanga, R.5
-
21
-
-
69849090248
-
A flexible API and editor for SKOS
-
Springer
-
S. Jupp, S. Bechhofer, and R. Stevens. A flexible API and editor for SKOS. In Proceedings of the 6th European Semantic Web Conference (ESWC), Heraklion, Crete, volume 5554 of Lecture Notes in Computer Science, pages 506-520. Springer, 2009.
-
(2009)
Proceedings of the 6th European Semantic Web Conference (ESWC), Heraklion, Crete, Volume 5554 of Lecture Notes in Computer Science
, pp. 506-520
-
-
Jupp, S.1
Bechhofer, S.2
Stevens, R.3
-
23
-
-
33744972792
-
Swoop: A web ontology editing browser
-
Semantic Grid-The Convergence of Technologies
-
A. Kalyanpur, B. Parsia, E. Sirin, B. Cuenca Grau, and J. Hendler. Swoop: A web ontology editing browser. Web Semantics: Science, Services and Agents on the World Wide Web, 4(2):144-153, 2006. Semantic Grid-The Convergence of Technologies.
-
(2006)
Web Semantics: Science Services and Agents on the World Wide Web
, vol.4
, Issue.2
, pp. 144-153
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Cuenca Grau, B.4
Hendler, J.5
-
24
-
-
84891446571
-
A database backend for OWL
-
R. Hoeksta and P.F. Patel-Schneider, editors, CEUR-WS.org, October
-
J. Kleb, J. Henss and S. Grimm. A database backend for OWL. In R. Hoeksta and P.F. Patel-Schneider, editors, OWL: Experiences and Directions (OWLED 2009), CEUR Workshop Proceedings. CEUR-WS.org, October 2009.
-
(2009)
OWL: Experiences and Directions (OWLED 2009), CEUR Workshop Proceedings
-
-
Kleb, J.1
Henss, J.2
Grimm, S.3
-
28
-
-
84889002027
-
-
S. McIlraith, D. Plexousakis, and F. van Harmelen, editors. ISWC 04 The International Semantic Web Conference 2004, Hiroshima, Japan, volume 3298 of Lecture Notes in Computer Science, 2004.
-
ISWC 04 the International Semantic Web Conference 2004, Hiroshima, Japan, Volume 3298 of Lecture Notes in Computer Science
, pp. 2004
-
-
McIlraith, S.1
Plexousakis, D.2
Van Harmelen, F.3
-
30
-
-
0242359449
-
A conceptual modeling approach for building semantics-driven enterprise applications
-
LNCS, Springer
-
B. Motik, A. Maedche, and R. Volz. A conceptual modeling approach for building semantics-driven enterprise applications. In Proceedings of the International Conference on Ontologies, Databases and Applications of SEmantics ODBASE 2002, LNCS. Springer, 2002.
-
(2002)
Proceedings of the International Conference on Ontologies, Databases and Applications of SEmantics ODBASE 2002
-
-
Motik, B.1
Maedche, A.2
Volz, R.3
-
31
-
-
35148838596
-
Optimized reasoning in description logics using hypertableaux
-
Springer
-
B. Motik, R. Shearer, and I. Horrocks. Optimized reasoning in description logics using hypertableaux. In Proceedings of the 21st International Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, pages 67-83. Springer, 2007.
-
(2007)
Proceedings of the 21st International Conference on Automated Deduction (CADE-21), Volume 4603 of Lecture Notes in Artificial Intelligence
, pp. 67-83
-
-
Motik, B.1
Shearer, R.2
Horrocks, I.3
-
36
-
-
84889029355
-
An open source database backend for the OWL API and Protégé 4
-
E. Sirin, editor
-
T. Redmond. An open source database backend for the OWL API and Protégé 4. In E. Sirin, editor, OWL: Experiences and Directions (OWLED 2010), 2010.
-
(2010)
OWL: Experiences and Directions (OWLED 2010)
-
-
Redmond, T.1
-
38
-
-
34249817069
-
Pellet: A practical OWL-DL reasoner
-
E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpur, and Y. 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
-
40
-
-
77954603503
-
-
Sun Microsystems, Inc.
-
Sun Microsystems, Inc. JavaTM Platform. http://java.sun.com/j2se/.
-
JavaTM Platform
-
-
-
43
-
-
71549160513
-
-
W3C OWL Working Group, W3C Recommendation, World Wide Web Consortium
-
W3C OWL Working Group. OWL 2 Web Ontology Language Document Overview. W3C Recommendation, World Wide Web Consortium, 2009. http://www.w3.org/TR/owl2- overview/.
-
(2009)
OWL 2 Web Ontology Language Document Overview
-
-
|