Crossmark

An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency

Crossref DOI link: https://doi.org/10.1007/s10515-017-0210-9

Published Online: 2017-02-07

Published Print: 2017-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Fu, Chunlei https://orcid.org/0000-0002-2690-0475
Yang, Dan

Zhang, Xiaohong

Hu, Haibo
Funding

Funding for this research was provided by:

National Natural Science Key Foundation (91118005)

National Natural Science Foundation of China (61173131)

Fundamental Research Funds for the Central Universities of China (106112014CDJZR098801)
License Information

License valid from 2017-02-07