- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning ; volume:4 ; number:2 ; day:19 ; month:1 ; year:2023 ; pages:1-13 ; date:3.2023
SN Computer Science ; 4, Heft 2 (19.1.2023), 1-13, 3.2023
- Creator
-
Lu, Shan
Tazin, Alexey
Chen, Yanji
Kokar, Mieczyslaw M.
Smith, Jeff
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s42979-022-01577-0
- URN
-
urn:nbn:de:101:1-2503090630344.785567187497
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:26 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lu, Shan
- Tazin, Alexey
- Chen, Yanji
- Kokar, Mieczyslaw M.
- Smith, Jeff
- SpringerLink (Online service)
Other Objects (12)
OWL-Semantik and Reasoning 2
OWL - Semantik and Reasoning 1
Epistemic Reasoning in OWL 2 DL
Reasoning with OWL - system support and insights
Inferring ontology graph structures using OWL reasoning
OWL Reasoning: Subsumption Test Hardness and Modularity
Inconsistencies
OCL
OCL component invariants
Towards OCL/RT
OWL und OWL-Semantik
Using AberOWL for fast and scalable reasoning over BioPortal ontologies
OWL-Semantik and Reasoning 2
OWL - Semantik and Reasoning 1
Epistemic Reasoning in OWL 2 DL
Reasoning with OWL - system support and insights
Inferring ontology graph structures using OWL reasoning
OWL Reasoning: Subsumption Test Hardness and Modularity
Inconsistencies
OCL
OCL component invariants
Towards OCL/RT
OWL und OWL-Semantik
Using AberOWL for fast and scalable reasoning over BioPortal ontologies
OWL-Semantik and Reasoning 2
OWL - Semantik and Reasoning 1
Epistemic Reasoning in OWL 2 DL
Reasoning with OWL - system support and insights
Inferring ontology graph structures using OWL reasoning
OWL Reasoning: Subsumption Test Hardness and Modularity
Inconsistencies
OCL
OCL component invariants
Towards OCL/RT
OWL und OWL-Semantik