-
2
-
-
0027652458
-
A semantics and complete algorithm for subsumption in the CLASSIC description logic
-
[Borgida and Patel-Schneider 1994]
-
[Borgida and Patel-Schneider 1994] Borgida, A. and Patel-Schneider, P. F.(1994): "A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic"; Journal of Artificial Intelligence Research, 1: 277-308.
-
(1994)
Journal of Artificial Intelligence Research
, vol.1
, pp. 277-308
-
-
Borgida, A.1
Patel-Schneider, P.F.2
-
3
-
-
0039344197
-
Reasoning with inclusion axioms in description logics: Algorithms and complexity
-
[Calvanese 1996] John Wiley & Sons
-
[Calvanese 1996] Calvanese, D. (1996): "Reasoning with inclusion axioms in description logics: Algorithms and complexity" ; In Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI'96), pages 303-307. John Wiley & Sons.
-
(1996)
Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI'96)
, pp. 303-307
-
-
Calvanese, D.1
-
4
-
-
0031628670
-
On the decidability of query containment under constraints
-
[Calvanese et al. 1998]
-
[Calvanese et al. 1998] Calvanese, D., De Giacomo, G., and Lenzerini, M. (1998): "On the Decidability of Query Containment under Constraints"; In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98), pages 149-158.
-
(1998)
Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98)
, pp. 149-158
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
-
5
-
-
23844466501
-
Ontology and the dynamics of organizational environments: An example of a group memory system for the management of group competencies
-
[de Vasconcelos et al. 2003] J.UCS
-
[de Vasconcelos et al. 2003] de Vasconcelos, J., Kimble, C., and Rocha, A. (2003): "Ontology and the Dynamics of Organizational Environments: An Example of a Group Memory System for the Management of Group Competencies"; In Proc. I-KNOW'03, pages 161-167. J.UCS.
-
(2003)
Proc. I-KNOW'03
, pp. 161-167
-
-
De Vasconcelos, J.1
Kimble, C.2
Rocha, A.3
-
6
-
-
80055038931
-
Abductive matchmaking using description logics
-
[Di Noia et al. 2003a] Acapulco, Messico. Morgan Kaufmann, Los Altos
-
[Di Noia et al. 2003a] Di Noia, T., Di Sciascio, E., Donini, F., and Mongiello, M. (2003): "Abductive matchmaking using description logics"; In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003),pages 337-342, Acapulco, Messico. Morgan Kaufmann, Los Altos.
-
(2003)
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003)
, pp. 337-342
-
-
Di Noia, T.1
Di Sciascio, E.2
Donini, F.3
Mongiello, M.4
-
7
-
-
0038675354
-
Semantic matchmaking in a P-2-P electronic marketplace
-
[Di Noia et al. 2003b] Melbourne, Florida, USA. ACM, New York. Special track on E-Commerce technologies
-
[Di Noia et al. 2003b] Di Noia, T., Di Sciascio, E., Donini, F., and Mongiello, M.(2003): "Semantic matchmaking in a P-2-P electronic marketplace"; In SAC-03, pages 582-586, Melbourne, Florida, USA. ACM, New York. Special track on E-Commerce technologies.
-
(2003)
SAC-03
, pp. 582-586
-
-
Di Noia, T.1
Di Sciascio, E.2
Donini, F.3
Mongiello, M.4
-
8
-
-
0033355730
-
Methods and tools for corporate knowledge management
-
[Dieng et al. 1999]
-
[Dieng et al. 1999] Dieng, R., Corby, o., Giboin, A., and Ribiere, M. (1999): "Methods and tools for corporate knowledge management"; Intl. J. of Human-Computer Studies, 51(3): 567-598.
-
(1999)
Intl. J. of Human-computer Studies
, vol.51
, Issue.3
, pp. 567-598
-
-
Dieng, R.1
Corby, O.2
Giboin, A.3
Ribiere, M.4
-
9
-
-
0001776513
-
Reasoning in description logics
-
[Donini et al. 1996] Brewka, G., editor, CSLI Publications
-
[Donini et al. 1996] Donini, F. M., Lenzerini, M., Nardi, D., and Schaerf, A. (1996): "Reasoning in Description Logics"; In Brewka, G., editor, Principles of Knowledge Representation, Studies in Logic, Language and Information, pages 193-238. CSLI Publications.
-
(1996)
Principles of Knowledge Representation, Studies in Logic, Language and Information
, pp. 193-238
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Schaerf, A.4
-
10
-
-
0035268235
-
OIL: An ontology infrastructure for the semantic web
-
[Fensel et al. 2001]
-
[Fensel et al. 2001] Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D., and Patel-Schneider, P. F. (2001): "OIL: An Ontology Infrastructure for the Semantic Web". IEEE Intelligent Systems, 16(2): 38-45.
-
(2001)
IEEE Intelligent Systems
, vol.16
, Issue.2
, pp. 38-45
-
-
Fensel, D.1
Van Harmelen, F.2
Horrocks, I.3
McGuinness, D.4
Patel-Schneider, P.F.5
-
12
-
-
0012982547
-
Methodologies for ontology development
-
[Jones et al. 1998] J. Cuena, editor, London, UK. Chapman and Hall Ltd.
-
[Jones et al. 1998] Jones, D., Bench-Capon, T., and Visser, P. (1998): "Methodologies for ontology development"; In J. Cuena, editor, Proc. ITi and KNOWS Conference of the 15th IFIP World Computer Congress, pages 62-75, London, UK. Chapman and Hall Ltd.
-
(1998)
Proc. ITi and KNOWS Conference of the 15th IFIP World Computer Congress
, pp. 62-75
-
-
Jones, D.1
Bench-Capon, T.2
Visser, P.3
-
13
-
-
0025434889
-
Terminological reasoning is inherently intractable
-
[Nebel 1990]
-
[Nebel 1990] Nebel, B. (1990): "Terminological Reasoning is Inherently Intractable"; Artificial Intelligence, 43: 235-249.
-
(1990)
Artificial Intelligence
, vol.43
, pp. 235-249
-
-
Nebel, B.1
-
14
-
-
0032075321
-
Using AI in knowledge management: Knowledge bases and ontologies
-
[OLeary 1998]
-
[OLeary 1998] O'Leary, D. (1998): "Using AI in knowledge management: Knowledge bases and ontologies"; IEEE Intelligent Systems, 13(3): 34-39.
-
(1998)
IEEE Intelligent Systems
, vol.13
, Issue.3
, pp. 34-39
-
-
O'Leary, D.1
-
15
-
-
0035025975
-
Knowledge processes and ontologies
-
[Staab et al. 2001]
-
[Staab et al. 2001] Staab, S., Schnurr, H., Studer, R., and Sure, Y. (2001): "Knowledge Processes and Ontologies"; IEEE Intelligent Systems, 16(1).
-
(2001)
IEEE Intelligent Systems
, vol.16
, Issue.1
-
-
Staab, S.1
Schnurr, H.2
Studer, R.3
Sure, Y.4
-
16
-
-
23844545469
-
Skill assessment in problem solving and task simulation
-
[Stefanutti and Albert 2003] J.UCS
-
[Stefanutti and Albert 2003] Stefanutti, L. and Albert, D. (2003): "Skill Assessment in Problem Solving and Task Simulation"; In Proc. I-KNOW '03, pages 174-180. J.UCS.
-
(2003)
Proc. I-KNOW '03
, pp. 174-180
-
-
Stefanutti, L.1
Albert, D.2
-
18
-
-
67650137600
-
Semantic web support for the business-to-business E-commerce lifecycle
-
[Trastour et al. 2002] ACM
-
[Trastour et al. 2002] Trastour, D., Bartolini, C., and Priest, C. (2002): "Semantic Web Support for the Business-to-Business E-Commerce Lifecycle"; In Proc. WWW '02, pages 89-98. ACM.
-
(2002)
Proc. WWW '02
, pp. 89-98
-
-
Trastour, D.1
Bartolini, C.2
Priest, C.3
-
19
-
-
0030166318
-
Ontologies: Principles, methods and applications
-
[Uschold and Gruninger 1996]
-
[Uschold and Gruninger 1996] Uschold, M. and Gruninger, M. (1996): "Ontologies: Principles, methods and applications"; Knowledge Engineering Review, 11(2): 93-113.
-
(1996)
Knowledge Engineering Review
, vol.11
, Issue.2
, pp. 93-113
-
-
Uschold, M.1
Gruninger, M.2
|