Towards service description logics

DOI10.1007/3-540-45757-7_7MaRDI QIDQ4708908zbMATH OpenFDO

Authors P. A. Bonatti

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240074.htm

zbMATH Keywords

Description LogicsSemantic Web

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• A Semantic Model for Matchmaking of Web Services Based on Description Logics
• Service Specification and Matchmaking Using Description Logic
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 2088361
• scientific article; zbMATH DE number 2087387

Cited in

(11)

• A logic of reachable patterns in linked data-structures
• A Logic-Programming Semantics of Services
• Semantic-based service matching algorithm in pervasive computing environments
• A Context Model for Service Composition Based on Dynamic Description Logic
• Ontology-based knowledge modeling in network manufacturing
• A description for services supporting cooperations
• An ontology for software component matching
• Peer services: From description to invocation
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• Service Specification and Matchmaking Using Description Logic
• On the undecidability of logics with converse, nominals, recursion and counting

This page was built for publication: Towards service description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708908)