-
2
-
-
77956720493
-
-
edited by Dov Gabbay, Michael Fisher and Lluis Vila, MIT Press
-
Alessandro Artale, Enrico Franconi, Temporal Description Logics, Chapter in Handbook of Time and Temporal Reasoning in Artificial Intelligence, edited by Dov Gabbay, Michael Fisher and Lluis Vila, MIT Press, 2005.
-
(2005)
Temporal Description Logics, Chapter in Handbook of Time and Temporal Reasoning in Artificial Intelligence
-
-
Artale, A.1
Franconi, E.2
-
4
-
-
34547398107
-
Semantics of UML 2.0 Interactions with Variabilities
-
Macao, October 24-25
-
Maria V. Cengarle, Peter Graubmann, Stefan Wagner, "Semantics of UML 2.0 Interactions with Variabilities". Proceedings of the 2nd Int. Workshop on Formal Aspects of Component Software FACS'05, Macao, October 24-25, 2005.
-
(2005)
Proceedings of the 2nd Int. Workshop on Formal Aspects of Component Software FACS'05
-
-
Cengarle, M.V.1
Graubmann, P.2
Wagner, S.3
-
7
-
-
35048836134
-
Ontology mapping - an integrated approach
-
C. Bussler, J. Davis, D. Fensel, and R. Studer, editors, Proceedings of the First European Semantic Web Symposium, of, Springer Verlag, Heraklion, Greece, MAY
-
Marc Ehrig, York Sure, "Ontology mapping - an integrated approach", In C. Bussler, J. Davis, D. Fensel, and R. Studer, editors, Proceedings of the First European Semantic Web Symposium, volume 3053 of LNCS, Springer Verlag, Heraklion, Greece, MAY 2004, pp. 76-91.
-
(2004)
LNCS
, vol.3053
, pp. 76-91
-
-
Ehrig, M.1
Sure, Y.2
-
8
-
-
34547482061
-
-
F-Logic, http://www.ontoprise.de/content/e5/e190/e191/ tutorial_flogic_ger.pdf
-
F-Logic
-
-
-
9
-
-
0037947559
-
Describing Interactions between MSC Components - The MSC Connectors,
-
Reed ed
-
Peter Graubmann, "Describing Interactions between MSC Components - The MSC Connectors,". In Reed (ed.): Computer Networks, Special Edition, ITU-T System Design Languages (SDL), 42(3):323-342, 2003.
-
(2003)
Computer Networks, Special Edition, ITU-T System Design Languages (SDL)
, vol.42
, Issue.3
, pp. 323-342
-
-
Graubmann, P.1
-
10
-
-
38049187126
-
Web Services Annotation and Reasoning
-
Innsbruck, June
-
Peter Graubmann, Evelyn Pfeuffer, Mikhail Roshchin, "Web Services Annotation and Reasoning," Position paper, W3C Workshop on Frameworks for Semantics in Web Services, Innsbruck, June 2005.
-
(2005)
Position paper, W3C Workshop on Frameworks for Semantics in Web Services
-
-
Graubmann, P.1
Pfeuffer, E.2
Roshchin, M.3
-
12
-
-
0242308068
-
IF-Map: An Ontology-Mapping Method based on Information-Flow Theory
-
Journal on Data Semantics I, Springer
-
Yannis Kalfglou, Marc Schorlemmer, "IF-Map: An Ontology-Mapping Method based on Information-Flow Theory" Journal on Data Semantics I, LNCS 2800, Springer, 2003, pp. 98-127.
-
(2003)
LNCS
, vol.2800
, pp. 98-127
-
-
Kalfglou, Y.1
Schorlemmer, M.2
-
13
-
-
2342494084
-
-
Juliana Kuester Filipe, A Logic-based Formalization for Component Specification, Journal of Object Technology, 1, No. 3, Special Issue: TOOLS USA 2002 proceedings, ETH Zurich, 2002, pp. 231-248.
-
Juliana Kuester Filipe, "A Logic-based Formalization for Component Specification", Journal of Object Technology, Vol. 1, No. 3, Special Issue: TOOLS USA 2002 proceedings, ETH Zurich, 2002, pp. 231-248.
-
-
-
-
15
-
-
34547451780
-
-
METEOR-S
-
METEOR-S, http://lsdis.cs.uga.edu/Projects/METEORS/
-
-
-
-
16
-
-
33749640384
-
OMEN: A Probabilistic Ontology Mapping Tool
-
Hisroshima, Japan
-
Prasenjit Mitra, Natalya F. Noy and Anuj R. Jaiswal, "OMEN: A Probabilistic Ontology Mapping Tool", Workshop on Meaning coordination and negotiation at the Third International Conference on the Semantic Web (ISWC-2004), Hisroshima, Japan, 2004.
-
(2004)
Workshop on Meaning coordination and negotiation at the Third International Conference on the Semantic Web (ISWC-2004)
-
-
Mitra, P.1
Noy, N.F.2
Jaiswal, A.R.3
-
17
-
-
34547486081
-
-
OWL
-
OWL. http://www.w3.org/TR/owl-features/
-
-
-
-
18
-
-
34547437837
-
-
OWL-S
-
OWL-S, http://www.daml.org/services/owl-s/1.0/
-
-
-
-
19
-
-
34547476208
-
Ontologies for Semantic Web Components
-
Oct
-
Claus Pahl, "Ontologies for Semantic Web Components," ERCIM News No 51, Oct. 2002. http://www.ercim.org/publication/Ercim_News/enw51/ pahl.html
-
(2002)
ERCIM News No
, vol.51
-
-
Pahl, C.1
-
20
-
-
33344466914
-
Composition of Semantic Web Services Using Linear Logic Theorem Proving
-
Elsevier
-
Jinghai Rao, Peep Kuengas, Mihhail Matskin, Composition of Semantic Web Services Using Linear Logic Theorem Proving, Information Systems 31, Elsevier, 2006, pp. 340-360.
-
(2006)
Information Systems 31
, pp. 340-360
-
-
Rao, J.1
Kuengas, P.2
Matskin, M.3
-
21
-
-
8344229168
-
Ontology-based User Modeling for Knowledge Management Systems
-
Springer, Berlin, Heidelberg
-
Liana Razmerita, Albert Angehrn, Alexander Maedche, "Ontology-based User Modeling for Knowledge Management Systems", LNCS Vol. 2702, Springer, Berlin / Heidelberg, 2003.
-
(2003)
LNCS
, vol.2702
-
-
Razmerita, L.1
Angehrn, A.2
Maedche, A.3
-
22
-
-
34547447299
-
-
RDF(S), http;//www.w3.org/TR/rdf-schema/
-
RDF(S), http;//www.w3.org/TR/rdf-schema/
-
-
-
-
23
-
-
27144470183
-
-
Semantic Web, http://www.w3.org/2001/sw/
-
Semantic Web
-
-
-
24
-
-
34547420812
-
-
Semantic Web Services Initiative SWSI
-
Semantic Web Services Initiative (SWSI), http://www.swsi.org/
-
-
-
-
25
-
-
84947336240
-
-
John Wiley & Sons, Ltd
-
Munindar P. Singh, Michael N. Huhns, Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, Ltd, 2005.
-
(2005)
Service-Oriented Computing: Semantics, Processes, Agents
-
-
Singh, M.P.1
Huhns, M.N.2
-
26
-
-
2542523706
-
Methodology for Development and Employment of Ontology based Knowledge Management Applications
-
York Sure, Steffen Staab, Rudi Studer, "Methodology for Development and Employment of Ontology based Knowledge Management Applications", SIGMOD Rec., 31(4), 2002.
-
(2002)
SIGMOD Rec
, vol.31
, Issue.4
-
-
Sure, Y.1
Staab, S.2
Studer, R.3
-
27
-
-
34547448314
-
-
SWRL
-
SWRL, http;//www.daml.org/2003/11/swrl/
-
-
-
-
28
-
-
34547396028
-
-
Web Service Standards
-
Web Service Standards, http://www.w3.org/2002/ws/
-
-
-
-
29
-
-
34547401661
-
-
WSMF
-
WSMF, http://wsmf.org/
-
-
-
|