Hi Jelle,

I'm sure there is some overlap.  :)  I am probably far behind
you guys in the theory, since I did not study any of this in school.
(My degree is physics ... in computer science, programming, logic,
etc., I am completely self-taught, although initially I was a math
major and interested in abstract algebra.)

My approach is somewhat "minimalist" -- I would like to be able to
import engineering object instances from various sources, such as
STEP files, PDM systems, etc., and apply rules to them and make
inferences about them.

The end applications could be almost anything -- e.g., some of the
guys I have worked with in the STEP world have implemented rule-based
systems for "manufacturability" analysis during design process and such.

I am mainly interested in pulling various domain models (design,
analysis, etc.) into a logical "systems" environment,
"synchronizing" them (if possible, using managed mappings between
them), and applying rules and reasoning on them from the
"whole system" viewpoint -- basically creating a systems logical
view for the domain of systems engineering.

Steve

Jelle Feringa wrote:
>>
> 
> Hi Stephen,
> 
>> I also welcome a KBE expert to the list!  I am also very interested
>> in this area.  I have an application I am working on to create Python
>> class definitions from OWL ontologies.  I also have code to create
>> the Python objects as Storm objects (<https://storm.canonical.com/>),
>> and I have some sql-generation code for the back end (a separable
>> issue, of course, but I include it in my app).  All of this is in
>> a partially broken state at the moment, because I am doing some
>> refactoring and adding more unit tests, but I will be happy to share
>> any of this as soon as it is working well enough to demonstrate
>> the concept.  My goal (which probably fits well with KBE) is to
>> have engineering application objects defined by ontologies, so that
>> they can be reasoned about using first-order logic engines, rules, etc.
> 
> This is really interesting. Thomas & I share a keen interest on 
> engineering, semantics & ontologies too, it would be great if the effort 
> of developing such a framework can be shared.
> I hope to start a PhD research soon at the TU Delft, which is focussing 
> on developing design encodings for evolutionary computing ( mappings 
> between genotype and phenotype ), which intersects with some ideas of 
> KBE. I'm curious what is the overlap in our shared interest.
> 
> Cheers,
> 
> -jelle
> 
> 
> 


_______________________________________________
Pythonocc-users mailing list
Pythonocc-users@gna.org
https://mail.gna.org/listinfo/pythonocc-users

Reply via email to