-
1
-
-
84863514334
-
OWL 2 Web Ontology Language Document Overview
-
October 27, accessed June 2011
-
W3C OWL Working Group, OWL 2 Web Ontology Language Document Overview, W3C Recommendation (October 27, 2009), http://www.w3.org/TR/2009/REC-owl2-overview- 20091027/ (accessed June 2011)
-
(2009)
W3C Recommendation
-
-
-
3
-
-
0003727420
-
-
CUP
-
Baader, F., Calvanese, D., McGuinness, D., Nadi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. CUP (2003)
-
(2003)
The Description Logic Handbook
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nadi, D.4
Patel-Schneider, P.5
-
4
-
-
0003727420
-
-
ch. 3. CUP
-
Baader, F., Calvanese, D., McGuinness, D., Nadi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, ch. 3. CUP (2003)
-
(2003)
The Description Logic Handbook
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nadi, D.4
Patel-Schneider, P.5
-
5
-
-
82855181169
-
Deriving sound inference rules for concept diagrams
-
IEEE
-
Chapman, P., Stapleton, G., Howse, J., Oliver, I.: Deriving sound inference rules for concept diagrams. In: IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE (2011)
-
(2011)
IEEE Symposium on Visual Languages and Human-Centric Computing
-
-
Chapman, P.1
Stapleton, G.2
Howse, J.3
Oliver, I.4
-
6
-
-
84891289837
-
The SSN Ontology of the Semantic Sensor Network Incubator Group
-
Submitted to July
-
Compton, et al.: The SSN Ontology of the Semantic Sensor Network Incubator Group. Submitted to The Journal of Web Semantics (July 2011)
-
(2011)
The Journal of Web Semantics
-
-
Compton1
-
7
-
-
51249105549
-
A diagrammatic reasoning system for the description logic ACL
-
Dau, F., Eklund, P.: A diagrammatic reasoning system for the description logic ACL. Journal of Visual Languages and Computing 19(5), 539-573 (2008)
-
(2008)
Journal of Visual Languages and Computing
, vol.19
, Issue.5
, pp. 539-573
-
-
Dau, F.1
Eklund, P.2
-
8
-
-
0013196197
-
Lettres a une princesse d'allemagne sur divers sujets de physique et de philosophie
-
Berne, Socit Typographique
-
Euler, L.: Lettres a une princesse d'allemagne sur divers sujets de physique et de philosophie. Letters 2, 102-108 (1775); Berne, Socit Typographique
-
(1775)
Letters
, vol.2
, pp. 102-108
-
-
Euler, L.1
-
9
-
-
35148839490
-
A translation approach to portable ontology specifications
-
Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2) (1993)
-
(1993)
Knowledge Acquisition
, vol.5
, Issue.2
-
-
Gruber, T.1
-
10
-
-
46249128355
-
-
accessed June 2009
-
Horridge, M.: OWLViz, http://www.co-ode.org/downloads/owlviz/ (accessed June 2009)
-
OWLViz
-
-
Horridge, M.1
-
11
-
-
80055033561
-
-
Jambalaya: http://www.thechiselgroup.org/jambalaya
-
Jambalaya
-
-
-
12
-
-
80055037359
-
-
A proposed diagrammatic logic for ontology specification and visualization. Posters and Demos
-
Oliver, I., Howse, J., Stapleton, G., Nuutila, E., Torma, S.: A proposed diagrammatic logic for ontology specification and visualization. In: International Semantic Web Conference (Posters and Demos) (2009)
-
(2009)
International Semantic Web Conference
-
-
Oliver, I.1
Howse, J.2
Stapleton, G.3
Nuutila, E.4
Torma, S.5
-
13
-
-
80055027567
-
Visualising and specifying ontologies using diagrammatic logics
-
CRPIT
-
Oliver, I., Howse, J., Stapleton, G., Nuutila, E., Torma, S.: Visualising and specifying ontologies using diagrammatic logics. In: 5th Australasian Ontologies Workshop, vol. 112, pp. 87-104. CRPIT (2009)
-
(2009)
5th Australasian Ontologies Workshop
, vol.112
, pp. 87-104
-
-
Oliver, I.1
Howse, J.2
Stapleton, G.3
Nuutila, E.4
Torma, S.5
-
14
-
-
57049130458
-
Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies
-
Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. Springer, Heidelberg
-
Presutti, V., Gangemi, A.: Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 128-141. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5231
, pp. 128-141
-
-
Presutti, V.1
Gangemi, A.2
-
15
-
-
56549120557
-
General Euler Diagram Generation
-
Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. Springer, Heidelberg
-
Rodgers, P., Zhang, L., Fish, A.: General Euler Diagram Generation. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 13-27. Springer, Heidelberg (2008)
-
(2008)
LNCS (LNAI)
, vol.5223
, pp. 13-27
-
-
Rodgers, P.1
Zhang, L.2
Fish, A.3
-
16
-
-
9444298455
-
Inferential and expressive capacities of graphical representations: Survey and some generalizations
-
Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. Springer, Heidelberg
-
Shimojima, A.: Inferential and expressive capacities of graphical representations: Survey and some generalizations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 18-21. Springer, Heidelberg (2004)
-
(2004)
LNCS (LNAI)
, vol.2980
, pp. 18-21
-
-
Shimojima, A.1
-
17
-
-
56549115811
-
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning
-
Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. Springer, Heidelberg
-
Shimojima, A., Katagiri, Y.: An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 74-88. Springer, Heidelberg (2008)
-
(2008)
LNCS (LNAI)
, vol.5223
, pp. 74-88
-
-
Shimojima, A.1
Katagiri, Y.2
-
19
-
-
79955816378
-
Drawing Euler diagrams with circles: The theory of piercings
-
Stapleton, G., Zhang, L., Howse, J., Rodgers, P.: Drawing Euler diagrams with circles: The theory of piercings. IEEE Transactions on Visualisation and Computer Graphics 17, 1020-1032 (2011)
-
(2011)
IEEE Transactions on Visualisation and Computer Graphics
, vol.17
, pp. 1020-1032
-
-
Stapleton, G.1
Zhang, L.2
Howse, J.3
Rodgers, P.4
-
20
-
-
82855169282
-
SketchSet: Creating Euler diagrams using pen or mouse
-
IEEE
-
Wang, M., Plimmer, B., Schmieder, P., Stapleton, G., Rodgers, P., Delaney, A.: SketchSet: Creating Euler diagrams using pen or mouse. In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011. IEEE (2011)
-
(2011)
IEEE Symposium on Visual Languages and Human-Centric Computing 2011
-
-
Wang, M.1
Plimmer, B.2
Schmieder, P.3
Stapleton, G.4
Rodgers, P.5
Delaney, A.6
|