-
1
-
-
2542621748
-
Ontologies and databases: More than a fleeting resemblance
-
Meersman, R.: Ontologies and Databases: More than a Fleeting Resemblance. In: OES/SEO Workshop Rome. (2001)
-
(2001)
OES/SEO Workshop Rome
-
-
Meersman, R.1
-
2
-
-
84867309745
-
-
Meersman, R., Tari, Z., et al., eds.: CooPIS/DOA/ODBASE, Springer-Verlag, LNCS
-
Jarrar, M., Meersman, R.: Formal Ontology Engineering in the DOGMA Approach. In Meersman, R., Tari, Z., et al., eds.: CooPIS/DOA/ODBASE, Springer-Verlag, LNCS 2519 (2002) 1238-1254
-
(2002)
Formal Ontology Engineering in the DOGMA Approach
, vol.2519
, pp. 1238-1254
-
-
Jarrar, M.1
Meersman, R.2
-
4
-
-
84883758407
-
-
Jensen C., et al., eds.: EDBT 2002, Springer-Verlag, LNCS 2287
-
Horrocks, I.: DAML+OIL: A reason-Able Web Ontology Language. In Jensen, C., et al., eds.: EDBT 2002, Springer-Verlag, LNCS 2287 (2002) 2-13
-
(2002)
DAML+OIL: A Reason-Able Web Ontology Language
, pp. 2-13
-
-
Horrocks, I.1
-
6
-
-
84872224227
-
-
Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
-
Borgida, A., Brachman, R.J.: Conceptual Modelling with Description Logics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 349-372
-
(2002)
Conceptual Modelling with Description Logics
, pp. 349-372
-
-
Borgida, A.1
Brachman, R.J.2
-
7
-
-
33645589793
-
-
Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
-
Borgida, A., Lenzerini, M., Rosati, R.: Description Logics for Databases. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 462-484
-
(2002)
Description Logics for Databases
, pp. 462-484
-
-
Borgida, A.1
Lenzerini, M.2
Rosati, R.3
-
8
-
-
84872953232
-
-
Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
-
Calvanese, D., Giacomo, G.: Expressive Description Logics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 178-218
-
(2002)
Expressive Description Logics
, pp. 178-218
-
-
Calvanese, D.1
Giacomo, G.2
-
9
-
-
84867759223
-
-
Goŕe, R., Leitsch, A., Nipkow, T., eds.: Proceedings of International Joint Conference on Automated Reasoning (IJCAR2001), Springer-Verlag
-
Haarslev, V., Möller, R.: RACER System Description. In Goŕe, R., Leitsch, A., Nipkow, T., eds.: Proceedings of International Joint Conference on Automated Reasoning (IJCAR2001), Springer-Verlag (2001) 701-705
-
(2001)
RACER System Description
, pp. 701-705
-
-
Haarslev, V.1
Möller, R.2
-
10
-
-
84937405545
-
Reasoning with individuals for the description logic
-
MacAllester D., ed.: Proc. of the 17th Int. Conf. on Automated Deduction (CADE-17). LNAI 1831, Springer-Verlag
-
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with Individuals for the Description Logic SHIQ. In MacAllester, D., ed.: Proc. of the 17th Int. Conf. on Automated Deduction (CADE-17). LNAI 1831, Springer-Verlag (2000) 482-496
-
(2000)
SHIQ
, pp. 482-496
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
14
-
-
85018383320
-
-
Choueiry, B., Walsh, T., eds.: Proceedings 4th International Symposium, SARA-2000, Horseshoes Bay, Texas, USA, Springer-Verlag, LNAI
-
Spaccapietra, S., Parent, C., Vangenot, C.: From Multiscale to Multirepresentation. In Choueiry, B., Walsh, T., eds.: Proceedings 4th International Symposium, SARA-2000, Horseshoes Bay, Texas, USA, Springer-Verlag, LNAI 1864 (2000)
-
(2000)
From Multiscale to Multirepresentation
, vol.1864
-
-
Spaccapietra, S.1
Parent, C.2
Vangenot, C.3
-
16
-
-
0010058703
-
-
The MIT Press Cambridge, Massachusetts
-
Fensel, D., Hendler, J., Liebermann, H., Wahlster, W.: Spinning the semantic web, The MIT Press, Cambridge, Massachusetts (2003)
-
(2003)
Spinning the Semantic Web
-
-
Fensel, D.1
Hendler, J.2
Liebermann, H.3
Wahlster, W.4
-
17
-
-
5044244438
-
-
D. Fensel, J. Hendler, H.L., Wahlster, W., eds.: Spinning the Semantic Web, The MIT Press, Cambridge, Massachusetts
-
Klein, M., Broekstra, J., Fensel, D., van Harmelen, F., Horrocks, I.: Ontologies and schema languages on the Web. In D. Fensel, J. Hendler, H.L., Wahlster, W., eds.: Spinning the Semantic Web, The MIT Press, Cambridge, Massachusetts (2003)
-
(2003)
Ontologies and Schema Languages on the Web
-
-
Klein, M.1
Broekstra, J.2
Fensel, D.3
Van Harmelen, F.4
Horrocks, I.5
-
18
-
-
84867324565
-
-
Meersman, R., Tari, Z., et al., eds.: CooPIS/DOA/ODBASE, Springer-Verlag, LNCS
-
Motik, B., Maedche, A., Volz, R.: A Conceptual Modeling Approach for Semantic-Driven Enterprise Applications. In Meersman, R., Tari, Z., et al., eds.: CooPIS/DOA/ODBASE, Springer-Verlag, LNCS 2519 (2002) 1082-1099
-
(2002)
A Conceptual Modeling Approach for Semantic-Driven Enterprise Applications
, vol.2519
, pp. 1082-1099
-
-
Motik, B.1
Maedche, A.2
Volz, R.3
-
19
-
-
0030125127
-
On the relative expressive power of description logics and Predicate Calculus
-
Borgida, A.: On the relative expressive power of Description Logics and Predicate Calculus. In: Artificial Intelligence 82. (1996) 353-367
-
(1996)
Artificial Intelligence
, vol.82
, pp. 353-367
-
-
Borgida, A.1
-
20
-
-
33845191560
-
-
Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
-
Baader, F., Nutt., W.: Basic Description Logics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 43-95
-
(2002)
Basic Description Logics
, pp. 43-95
-
-
Baader, F.1
Nutt, W.2
-
21
-
-
0002384832
-
Foundations of spatioterminological reasoning with description logics
-
A.G. Cohn, L.K. Schubert, S., ed
-
Haarslev, V., Lutz, C., Möller, R.: Foundations of Spatioterminological Reasoning with Description Logics. In A.G. Cohn, L.K. Schubert, S., ed.: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR98). (1998) 112-123
-
(1998)
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR98)
, pp. 112-123
-
-
Haarslev, V.1
Lutz, C.2
Möller, R.3
|