-
5
-
-
0035477319
-
Support for ontological analysis of taxonomic relationships
-
October 2001
-
Welty, Chris and Nicola Guarino. 2001. Support for Ontological Analysis of Taxonomic Relationships. J. Data and Knowledge Engineering. 39(1):51-74. October, 2001.
-
(2001)
J. Data and Knowledge Engineering
, vol.39
, Issue.1
, pp. 51-74
-
-
Welty, C.1
Guarino, N.2
-
7
-
-
33746032609
-
Swoop - A web ontology editing browser
-
Kalyanpur, Aditya, Bijan Parsia, Evren Sirin, Bernardo Cuenca-Grau, and James Hendler. 2005. Swoop - a web ontology editing browser. Journal of Web Semantics, 4(1).
-
(2005)
Journal of Web Semantics
, vol.4
, Issue.1
-
-
Kalyanpur, A.1
Parsia, B.2
Sirin, E.3
Cuenca-Grau, B.4
Hendler, J.5
-
8
-
-
34548075018
-
Pellet: A practical owl-dl reasoner
-
In Press Submitted for publication to
-
Sirin, Evren, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. In Press. Pellet: A practical owl-dl reasoner. Submitted for publication to Journal of Web Semantics.
-
Journal of Web Semantics
-
-
Sirin, E.1
Parsia, B.2
Grau, B.C.3
Kalyanpur, A.4
Katz, Y.5
-
9
-
-
84876753868
-
-
Knaublock, Holger. 2003. Protégé-OWL. http://protege. stanford.edu/overview/protege-owl.html
-
(2003)
Protégé-OWL
-
-
Knaublock, H.1
-
10
-
-
84958750045
-
A formal ontology of properties
-
Dieng, R., and Corby, O., eds Spring-Verlag LNCS October, 2000
-
Guarino, Nicola and Chris Welty. 2000. A Formal Ontology of Properties. In, Dieng, R., and Corby, O., eds, Proceedings of EKAW-2000: The 12th International Conference on Knowledge Engineering and Knowledge Management. Spring-Verlag LNCS Vol. 1937:97-112. October, 2000.
-
(2000)
Proceedings of EKAW-2000: The 12th International Conference on Knowledge Engineering and Knowledge Management
, vol.1937
, pp. 97-112
-
-
Guarino, N.1
Welty, C.2
-
11
-
-
0002620903
-
Identity, unity, and individuality: Towards a formal toolkit for ontological analysis
-
Horn, W. ed. Berlin: IOS Press. August, 2000
-
Guarino, Nicola and Chris Welty. 2000. Identity, Unity, and Individuality: Towards a formal toolkit for ontological analysis. In, Horn, W. ed., Proceedings of ECAI-2000: The European Conference on Artificial Intelligence. Pp. 219-223. Berlin: IOS Press. August, 2000.
-
(2000)
Proceedings of ECAI-2000: The European Conference on Artificial Intelligence
, pp. 219-223
-
-
Guarino, N.1
Welty, C.2
-
12
-
-
0141995138
-
Identity and subsumption
-
Rebecca Green, Carol A. Bean, & Sung Hyon Myaeng (Eds.) Dordrecht: Kluwer
-
Guarino, Nicola and Chris Welty. 2002. Identity and Subsumption. In Rebecca Green, Carol A. Bean, & Sung Hyon Myaeng (Eds.), The Semantics of Relationships: An Interdisciplinary Perspective. Pp. 111-125. Dordrecht: Kluwer.
-
(2002)
The Semantics of Relationships: An Interdisciplinary Perspective
, pp. 111-125
-
-
Guarino, N.1
Welty, C.2
-
13
-
-
22044458646
-
An overview of OntoClean
-
Steffen Staab and Rudi Studer, eds. Berlin: Springer-Verlag
-
Guarino, Nicola and Chris Welty. 2004. An Overview of OntoClean. In Steffen Staab and Rudi Studer, eds., The Handbook on Ontologies. Pp. 151-172. Berlin: Springer-Verlag.
-
(2004)
The Handbook on Ontologies
, pp. 151-172
-
-
Guarino, N.1
Welty, C.2
|