-
3
-
-
84957625343
-
High level system design and analysis using abstract state machines
-
D. Hutter and W. Stephan and P. Traverso and M. Ullmann, editor, Springer-Verlag
-
E. Börger. High Level System Design and Analysis using Abstract State Machines. In D. Hutter and W. Stephan and P. Traverso and M. Ullmann, editor, Current Trends in Applied Formal Methods (FM-Trends 98), number 1641 in LNCS, pages 1-43. Springer-Verlag, 1999.
-
(1999)
Current Trends in Applied Formal Methods (FM-Trends 98), Number 1641 in LNCS
, pp. 1-43
-
-
Börger, E.1
-
7
-
-
33744492169
-
-
Technical Report DERI-TR-2004-11-10, DERI, November
-
J. de Bruijn, A. Polleres, R. Lara, and D. Fensel. OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web. Technical Report DERI-TR-2004-11-10, DERI, November 2004.
-
(2004)
OWL DL Vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web
-
-
De Bruijn, J.1
Polleres, A.2
Lara, R.3
Fensel, D.4
-
9
-
-
84891477506
-
The wsml family of representation languages. 2005
-
latest version
-
J. de Bruijn, editor. The WSML Family of Representation Languages. 2005. WSMO Deliverable D16, WSMO Working Draft, 2005, latest version available at http://www.wsmo.org/TR/d16/d16.1/.
-
(2005)
WSMO Deliverable D16, WSMO Working Draft
-
-
De Bruijn, J.1
-
11
-
-
0003884956
-
Knowledge interchange format: Draft proposed american national standard
-
KIF. Knowledge Interchange Format: Draft Proposed American National Standard. Technical Report NCITS. T2/98-004, 1998. available from http://logic.stanford. edu/kif/dpans.html.
-
(1998)
Technical Report NCITS. T2/98-004
-
-
-
13
-
-
84880493386
-
Description logic programs: Combining logic programs with description logic
-
Budapest, Hungary
-
B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs With Description Logic. In Proc. Intl. Conf. on the World Wide Web (WWW-2003), Budapest, Hungary, 2003.
-
(2003)
Proc. Intl. Conf. on the World Wide Web (WWW-2003)
-
-
Grosof, B.N.1
Horrocks, I.2
Volz, R.3
Decker, S.4
-
14
-
-
35148839490
-
A translation approach to portable ontology specifications
-
T. R. Gruber. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 5: 199-220, 1993.
-
(1993)
Knowledge Acquisition
, vol.5
, pp. 199-220
-
-
Gruber, T.R.1
-
16
-
-
7944220884
-
-
W3C Recommendation, February
-
P. Hayes. RDF Semantics. W3C Recommendation, February 2004, Available from http://www.w3.org/TR/rdf-mt/.
-
(2004)
RDF Semantics
-
-
Hayes, P.1
-
19
-
-
0029333530
-
Logical foundations of object-oriented and frame-based languages
-
M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741-843, 1995.
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
, pp. 741-843
-
-
Kifer, M.1
Lausen, G.2
Wu, J.3
-
23
-
-
0036711884
-
What is a service?: Towards accurate description of non-functional properties
-
J. O'Sullivan, D. Edmond, and A. ter Hofstede. What is a Service?: Towards Accurate Description of Non-Functional Properties. Distributed and ParallelDatabases, 12(2-3):117-133, 2002.
-
(2002)
Distributed and ParallelDatabases
, vol.12
, Issue.2-3
, pp. 117-133
-
-
O'Sullivan, J.1
Edmond, D.2
Hofstede, A.T.3
-
25
-
-
46849104989
-
Expressing WSMO mediators in OWL-S
-
D. Martin, R. Lara, and T. Yamaguchi, editors, volume 119, November, CEUR-WS.org
-
M. Paolucci, N. Srinivasan, and K. Sycara. Expressing WSMO Mediators in OWL-S. In D. Martin, R. Lara, and T. Yamaguchi, editors, Proceedings 1st International Workshop SWS'2004 at ISWC-2004, volume 119, CEUR-WS.org/Vol-119/, November 2004. CEUR-WS.org.
-
(2004)
Proceedings 1st International Workshop SWS'2004 at ISWC-2004
-
-
Paolucci, M.1
Srinivasan, N.2
Sycara, K.3
-
30
-
-
33646405833
-
OWL-S: Semantic markup for web services
-
November 2004
-
D. Martin et al. OWL-S: Semantic Markup for Web Services. W3C Member Submission, November 2004, Available from http://www.w3.org/Submission/2004/07
-
W3C Member Submission
-
-
Martin, D.1
-
31
-
-
0003733221
-
-
IETF, September
-
S. Weibel, J. Kunze, C. Lagoze, and M. Wolf. Dublin Core Metadata for Resource Discovery. RFC 2413, IETF, September 1998.
-
(1998)
Dublin Core Metadata for Resource Discovery. RFC 2413
-
-
Weibel, S.1
Kunze, J.2
Lagoze, C.3
Wolf, M.4
-
33
-
-
0026836188
-
Mediators in the architecture of the future information systems
-
G. Wiederhold. Mediators in the Architecture of the Future Information Systems. Computer, 25(3):38-49, 1994.
-
(1994)
Computer
, vol.25
, Issue.3
, pp. 38-49
-
-
Wiederhold, G.1
|