Service Specification and Matchmaking Using Description Logic

DOI10.1007/978-3-540-79980-1_29zbMath1170.68534OpenAlexW1525198965MaRDI QIDQ5505438

Andreas Schroeder, M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_29

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (1)

Service Specification and Matchmaking Using Description Logic

Uses Software

• Pellet

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Herbrand theorems in arbitrary institutions
• Ontology Matching
• Institutions: abstract model theory for specification and programming
• Service Specification and Matchmaking Using Description Logic
• Semantic Web Languages – Towards an Institutional Perspective

This page was built for publication: Service Specification and Matchmaking Using Description Logic