-
1
-
-
36849090566
-
Description logics as ontology languages for the semantic web
-
D. Hutter W. Stephan LNAI Springer
-
F. Baader, I. Horrocks, and U. Sattler Description logics as ontology languages for the semantic web D. Hutter W. Stephan Festschrift in Honor of Jörg Siekmann 2005 LNAI Springer 228 248
-
(2005)
Festschrift in Honor of Jörg Siekmann
, pp. 228-248
-
-
Baader, F.1
Horrocks, I.2
Sattler, U.3
-
2
-
-
22944436485
-
OWL Pizzas: Practical experience of teaching OWL-DL: Common errors and common patterns
-
LNCS, Springer Verlag Northampton, England
-
A. Rector, N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang, and C. Wroe OWL Pizzas: practical experience of teaching OWL-DL: common errors and common patterns Proceedings of the European Conference on Knowledge Acquistion (EKAW04) 2004 LNCS, Springer Verlag Northampton, England 63 81
-
(2004)
Proceedings of the European Conference on Knowledge Acquistion (EKAW04)
, pp. 63-81
-
-
Rector, A.1
Drummond, N.2
Horridge, M.3
Rogers, J.4
Knublauch, H.5
Stevens, R.6
Wang, H.7
Wroe, C.8
-
3
-
-
32944459924
-
Towards a quantitative, platform-independent analysis of knowledge systems
-
AAAI Press Whistler, BC, Canada
-
N.S. Fiedland, P.G. Allen, M. Witbrock, G. Matthews, N. Salay, P. Miraglia, J. Angele, S. Stab, D. Israel, V. Chaudhri, B. Porter, K. Barker, and P. Clark Towards a quantitative, platform-independent analysis of knowledge systems Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning 2004 AAAI Press Whistler, BC, Canada 507 514
-
(2004)
Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning
, pp. 507-514
-
-
Fiedland, N.S.1
Allen, P.G.2
Witbrock, M.3
Matthews, G.4
Salay, N.5
Miraglia, P.6
Angele, J.7
Stab, S.8
Israel, D.9
Chaudhri, V.10
Porter, B.11
Barker, K.12
Clark, P.13
-
4
-
-
84974727353
-
OilEd: A reason-able ontology editor for the semantic web
-
KI2001, No. 2174 in LNAI, Springer Verlag
-
S. Bechhofer, I. Horrocks, C. Goble, and R. Stevens OilEd: a reason-able ontology editor for the semantic web Proceedings of the German Conference on Artificial Intelligence KI2001, No. 2174 in LNAI, Springer Verlag 2001 396 408
-
(2001)
Proceedings of the German Conference on Artificial Intelligence
, pp. 396-408
-
-
Bechhofer, S.1
Horrocks, I.2
Goble, C.3
Stevens, R.4
-
5
-
-
84867294716
-
OntoEdit: Guiding ontology development by methodology and inferencing
-
DOA and ODBASE 2002, No. 2519 in LNCS, Springer Verlag
-
Y. Sure, S. Staab, and J. Angele OntoEdit: guiding ontology development by methodology and inferencing Proceedings of the Confederated International Conferences, CoopIS DOA and ODBASE 2002, No. 2519 in LNCS, Springer Verlag 2001 1205 1222
-
(2001)
Proceedings of the Confederated International Conferences, CoopIS
, pp. 1205-1222
-
-
Sure, Y.1
Staab, S.2
Angele, J.3
-
6
-
-
6344276826
-
The evolution of protégé: An environment for knowledge-based systems development
-
Stanford University
-
J. Gennari, M.A. Musen, R.W. Fergerson, W.E. Grosso, M. Crubézy, H. Eriksson, N.F. Noy, S.W. Tu, The Evolution of Protégé: An Environment for Knowledge-Based Systems Development, Tech. Rep. SMI-2002-0943, Stanford University, 2002.
-
(2002)
Tech. Rep.
, vol.SMI-2002-0943
-
-
Gennari, J.1
Musen, M.A.2
Fergerson, R.W.3
Grosso, W.E.4
Crubézy, M.5
Eriksson, H.6
Noy, N.F.7
Tu, S.W.8
-
7
-
-
0035789213
-
WebODE: A scalable workbench for ontological engineering
-
ACM Press, Victoria, BC, Canada
-
J.C. Arpírez, O. Corcho, M. Fernández-López, and A. Gómez-Pérez WebODE: a scalable workbench for ontological engineering Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001) ACM Press, Victoria, BC, Canada 2001 6 13
-
(2001)
Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001)
, pp. 6-13
-
-
Arpírez, J.C.1
Corcho, O.2
Fernández-López, M.3
Gómez-Pérez, A.4
-
10
-
-
0041386075
-
Evaluation of ontology development tools for bioinformatics
-
P. Lambrix, M. Habbouche, and M. Pérez Evaluation of ontology development tools for bioinformatics J. Bioinform. 19 12 2003 1564 1571
-
(2003)
J. Bioinform.
, vol.19
, Issue.12
, pp. 1564-1571
-
-
Lambrix, P.1
Habbouche, M.2
Pérez, M.3
-
11
-
-
35048870773
-
Developing and managing software components in an ontology-based application server
-
Toronto, Ontario, Canada, No. 3231 in LNCS, Springer Verlag
-
D. Oberle, A. Eberhart, S. Staab, R. Volz, Developing and managing software components in an ontology-based application server, in: Middleware 2004, ACM/IFIP/USENIX 5th International Middleware Conference, Toronto, Ontario, Canada, No. 3231 in LNCS, Springer Verlag, 2004, pp. 459- 478.
-
(2004)
Middleware 2004, ACM/IFIP/USENIX 5th International Middleware Conference
, pp. 459-478
-
-
Oberle, D.1
Eberhart, A.2
Staab, S.3
Volz, R.4
-
13
-
-
84961789546
-
OntoRama: Browsing an RDF ontology using a hyperbolic-like browser
-
IEEE Press, Tokyo, Japan
-
P.W. Eklund, N. Roberts, and S.P. Green OntoRama: browsing an RDF ontology using a hyperbolic-like browser Proceedings of the First International Symposium on CyberWorlds (CW2002), Theory and Practices IEEE Press, Tokyo, Japan 2002 405 411
-
(2002)
Proceedings of the First International Symposium on CyberWorlds (CW2002), Theory and Practices
, pp. 405-411
-
-
Eklund, P.W.1
Roberts, N.2
Green, S.P.3
-
15
-
-
84948737304
-
SpaceTree: Supporting exploration in large node link tree, design evolution and empirical evaluation
-
Boston, USA
-
C. Plaisant, J. Grosjean, and B.B. Bederson SpaceTree: supporting exploration in large node link tree, design evolution and empirical evaluation Proceedings of the IEEE Symposium on Information Visualization (INFOVIS 2002) Boston, USA 2002 57 64
-
(2002)
Proceedings of the IEEE Symposium on Information Visualization (INFOVIS 2002)
, pp. 57-64
-
-
Plaisant, C.1
Grosjean, J.2
Bederson, B.B.3
-
16
-
-
1142269726
-
Ordered and quantum treemaps: Making effective use of 2D space to display hierarchies
-
B.S. Benjamin, B. Bederson, and M. Wattenberg Ordered and quantum treemaps: making effective use of 2D space to display hierarchies ACM Trans. Graph. 21 4 2002 833 854
-
(2002)
ACM Trans. Graph.
, vol.21
, Issue.4
, pp. 833-854
-
-
Benjamin, B.S.1
Bederson, B.2
Wattenberg, M.3
-
17
-
-
4544256813
-
Jambalaya: Interactive visualization to enhance ontology authoring and knowledge acquisition in Protégé
-
Victoria, B.C., Canada
-
M.-A. Storey, M. Musen, J. Silvia, C. Best, N. Ernst, Fergerson, N. Noy, Jambalaya: interactive visualization to enhance ontology authoring and knowledge acquisition in Protégé, in: Proceedings of the Workshop on Interactive Tools for Knowledge Capture (K-CAP 2001), Victoria, B.C., Canada, 2001.
-
(2001)
Proceedings of the Workshop on Interactive Tools for Knowledge Capture (K-CAP 2001)
-
-
Storey, M.-A.1
Musen, M.2
Silvia, J.3
Best, C.4
Ernst, N.5
Fergerson6
Noy, N.7
-
19
-
-
84867759223
-
RACER system description
-
Proceedings of the international joint conference on automated reasoning (IJCAR'2001) Springer Verlag, Siena, Italy
-
V. Haarslev, R. Möller, RACER System Description, in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR'2001), No. 2083 in LNCS, Springer Verlag, Siena, Italy, 2001, pp. 701-705.
-
(2001)
LNCS
, vol.2083
, pp. 701-705
-
-
Haarslev, V.1
Möller, R.2
-
21
-
-
10044257236
-
-
W3C Recommendation, February
-
S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P. Patel-Schneider, L.A. Stein, OWL Web Ontology Language Reference, W3C Recommendation, February 2004.
-
(2004)
OWL Web Ontology Language Reference
-
-
Bechhofer, S.1
Van Harmelen, F.2
Hendler, J.3
Horrocks, I.4
McGuinness, D.L.5
Patel-Schneider, P.6
Stein, L.A.7
-
22
-
-
25144468426
-
Towards a benchmark for semantic web reasoners - An analysis of the DAML ontology library
-
Sanibel Island, USA
-
C. Tempich, R. Volz, Towards a benchmark for semantic web reasoners - an analysis of the DAML ontology library, in: Proceedings of the 2nd International Workshop on Evaluation of Ontology-Based Tools (EON2003), Sanibel Island, USA, 2003, pp. 1-12.
-
(2003)
Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003)
, pp. 1-12
-
-
Tempich, C.1
Volz, R.2
-
23
-
-
25144512485
-
The complexity of the web ontology language
-
F. van Harmelen The complexity of the web ontology language IEEE Intell. Syst. 17 2 2002 71 72
-
(2002)
IEEE Intell. Syst.
, vol.17
, Issue.2
, pp. 71-72
-
-
Van Harmelen, F.1
-
24
-
-
0026185069
-
Visualization of structural information: Automatic drawing of compound digraphs
-
K. Sugiyama, and K. Miscue Visualization of structural information: automatic drawing of compound digraphs IEEE Trans. Syst., Man Cybernetics 21 4 2000 876 892
-
(2000)
IEEE Trans. Syst., Man Cybernetics
, vol.21
, Issue.4
, pp. 876-892
-
-
Sugiyama, K.1
Miscue, K.2
-
25
-
-
0028534523
-
Dynamic queries for visual information seeking
-
B. Shneiderman Dynamic queries for visual information seeking IEEE Software 11 6 1994 70 77
-
(1994)
IEEE Software
, vol.11
, Issue.6
, pp. 70-77
-
-
Shneiderman, B.1
-
26
-
-
25144441766
-
Explaining subsumption in description logics
-
Dept. of Computer Sciences, Rutgers University, September
-
D.L. McGuinness, A. Borgida, Explaining subsumption in description logics, Tech. Rep. LCSR-TR-228, Dept. of Computer Sciences, Rutgers University, September 1994.
-
(1994)
Tech. Rep.
, vol.LCSR-TR-228
-
-
McGuinness, D.L.1
Borgida, A.2
-
27
-
-
9344260144
-
Explaining A ℒc subsumption
-
A. Borgida, E. Franconi, I. Horrocks, D. McGuinness, and P.F. Patel-Schneider Explaining A L C subsumption Proceedings of the International Workshop on Description Logics (DL1999) 1999 37 40
-
(1999)
Proceedings of the International Workshop on Description Logics (DL1999)
, pp. 37-40
-
-
Borgida, A.1
Franconi, E.2
Horrocks, I.3
McGuinness, D.4
Patel-Schneider, P.F.5
-
28
-
-
57049163186
-
R+ TBoxes
-
Edinburgh, UK, in press
-
T. Liebig, M. Halfmann, Explaining subsumption in A L E H F R + TBoxes, in: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, UK, in press.
-
Proceedings of the 2005 International Workshop on Description Logics (DL2005)
-
-
Liebig, T.1
Halfmann, M.2
-
29
-
-
4944229438
-
Toolkit design for interactive structured graphics
-
University of Maryland, January
-
B. Bederson, J. Grosjean, J. Meyer, Toolkit Design for Interactive Structured Graphics, Tech. Rep. CS-TR-4432, University of Maryland, January 2002.
-
(2002)
Tech. Rep.
, vol.CS-TR-4432
-
-
Bederson, B.1
Grosjean, J.2
Meyer, J.3
-
31
-
-
0003880013
-
-
Addison-Wesley Ch. Observer
-
R.J. Erich Gamma, R. Helm, J. Vlissides, Design Pattern - Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995, Ch. Observer, pp. 293-303.
-
(1995)
Design Pattern - Elements of Reusable Object-oriented Software
, pp. 293-303
-
-
Gamma, R.J.E.1
Helm, R.2
Vlissides, J.3
-
32
-
-
84941152376
-
Jena: Implementing the semantic web recommendations
-
New York, NY, USA
-
J.J. Carroll, I. Dickinson, C. Dollin, D. Reynolds, A. Seaborne, and K. Wilkinson Jena: implementing the semantic web recommendations Proceedings of the 13th International World Wide Web Conference (WWW2004) New York, NY, USA 2004 74 83
-
(2004)
Proceedings of the 13th International World Wide Web Conference (WWW2004)
, pp. 74-83
-
-
Carroll, J.J.1
Dickinson, I.2
Dollin, C.3
Reynolds, D.4
Seaborne, A.5
Wilkinson, K.6
-
36
-
-
25144479941
-
Reasoning services for an OWL authoring tool: An experience report
-
Whistler, BC, Canada
-
T. Liebig, H. Pfeifer, and F. von Henke Reasoning services for an OWL authoring tool: an experience report Proceedings of the 2004 International Workshop on Description Logics (DL2004) Whistler, BC, Canada 2004 79 82
-
(2004)
Proceedings of the 2004 International Workshop on Description Logics (DL2004)
, pp. 79-82
-
-
Liebig, T.1
Pfeifer, H.2
Von Henke, F.3
-
38
-
-
84886280180
-
Practical reasoning for expressive description logics
-
Proceedings of 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) Springer Verlag
-
I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for expressive description logics, in: Proceedings of 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), No. 1705 in LNCS, Springer Verlag, 1999, pp. 161-180.
-
(1999)
LNCS
, vol.1705
, pp. 161-180
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
39
-
-
25144511980
-
Mail-archives
-
Mail-Archives, W3C Web Ontology Working Group, http://lists.w3.org/Archives/Public/www-webont-wg/, 2004.
-
(2004)
W3C Web Ontology Working Group
-
-
-
42
-
-
22944435413
-
Computing the least common subsumer w.r.t. a background terminology
-
Whistler, BC, Canada
-
F. Baader, B. Sertkaya, and A.-Y. Turhan Computing the least common subsumer w.r.t. a background terminology Proceedings of the 2004 International Workshop on Description Logics (DL2004) Whistler, BC, Canada 2004 11 20
-
(2004)
Proceedings of the 2004 International Workshop on Description Logics (DL2004)
, pp. 11-20
-
-
Baader, F.1
Sertkaya, B.2
Turhan, A.-Y.3
|