Author of the publication

Towards Hybrid Reasoning for Verifying and Validating Multilevel Models.

, , , and . EKAW, volume 6317 of Lecture Notes in Computer Science, page 411-420. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies., , and . J. Log. Comput., 18 (3): 341-359 (2008)Natural language directed inference from ontologies., and . Artif. Intell., 172 (10): 1285-1315 (2008)Metamodeling Architecture of Web Ontology Languages., and . SWWS, page 131-149. (2001)The Fuzzy Description Logic f-SHIN., , , , and . ISWC-URSW, page 67-76. (2005)The Aberdeen University Ontology Reuse Stack., , , , and . AAAI Spring Symposium: Symbiotic Relationships between Semantic Web and Knowledge Engineering, page 83-. AAAI, (2008)A semantic web approach to handling soft constraints in virtual organisations., , , , and . ICEC, volume 156 of ACM International Conference Proceeding Series, page 151-161. ACM, (2006)Forgetting for knowledge bases in DL-Lite., , , and . Ann. Math. Artif. Intell., 58 (1-2): 117-151 (2010)Forecasting smog-related health hazard based on social media and physical sensor., , , , and . Inf. Syst., (2017)Reasoning with Very Expressive Fuzzy Description Logics., , , , and . J. Artif. Intell. Res., (2007)Verifying feature models using OWL., , , , and . J. Web Semant., 5 (2): 117-129 (2007)